------- Comment #4 from pinskia at gcc dot gnu dot org 2007-03-06 17:10 -------
(In reply to comment #3)
> No, this is a bug, 2nd stage name-lookup should find foo(const int&) as var is
> dependent on the template parameter T (14.6/8, /9).
> But I bet we have a dup for this.
14.6.4.2/1 says this is invalid code.
For a function call that depends on a template parameter, if the function is an
unqualified-id but not a template-id, the candiate functions are found using
the usual lookup rules (3.4.1, 3.4.2) except that:
....
Paraphasing since I don't want to type it all in
* non argument dependent lookup (3.4.1: template definition context
* argument dependent lookup (3.4.2): template definition context and template
instation context
Since the type is a fundamental type, argument dependent lookup does not apply,
therefor this is not a bug.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31047
