https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99599
corentinjabot at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |corentinjabot at gmail dot com
--- Comment #28 from corentinjabot at gmail dot com ---
(In reply to Jason Merrill from comment #2)
> This is as specified by http://wg21.link/cwg2369
>
> I think it would be reasonable to allow a compiler to accept the testcase
> under a generalization of 13.9.1/9: "If the function selected by overload
> resolution (12.4) can be determined without instantiating a class template
> definition, it is unspecified whether that instantiation actually takes
> place."
>
> But that does not require a compiler to accept it.
>
> It might make sense to check non-dependent conversions that don't require
> template instantiation, then constraints, then non-dependent conversions
> that do require template instantiation. But that's a matter for the
> committee; G++ is conforming to the current working paper.
Was a CWG issue ever created for that?
