This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug c++/52072] Several non-deduced contexts not recognized


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);


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]