https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97704
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |INVALID
--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
As mentioned in the commit message, this change is the result of CWG issue
2369:
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#2369
Which moved checking of non-dependent conversions after checking the
constraints for satisfaction. The rationale is that checking non-dependent
conversions can also cause unwanted instantiations, and unwanted instantiations
from satisfaction checking can be worked around by adding additional
constraints, but constraints can only prevent unwanted instantiations from
conversion checking if the constraints are checked first.
Probably the standard library needs to add some constraints.
