http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52072
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at gcc dot gnu.org
--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2013-04-09
12:30:15 UTC ---
The rule G++ is getting wrong is in 14.8.1:
Implicit conversions (Clause 4) will be performed on a function argument to
convert it to the type of the corresponding function parameter if the parameter
type contains no template-parameters that participate in template argument
deduction.
And there's a FIXME to this effect in unify_one_argument:
/* FIXME uses_deducible_template_parms */
if (TYPE_P (parm) && !uses_template_parms (parm))
return check_non_deducible_conversion (parm, arg, strict, flags,
explain_p);
