------- Comment #14 from jason at gcc dot gnu dot org 2009-11-25 02:55 -------
I'm not sure the standard actually says that this is well-formed, though it
seems reasonable to me.
13.4/2: If the name is a function template, template argument deduction is done
(14.9.2.2), and if the argument deduction succeeds, the resulting template
argument list is used to generate a single function template specialization,
which is added to the set of overloaded functions considered.
14.9.2.2: The function templates function type and the specified type are used
as the types of P and A, and the deduction is done as described in 14.9.2.5.
It's not entirely clear that there is a "specified type" for this kind of
two-way deduction. EDG also rejects this.
--
jason at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5458
