https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112942
--- Comment #3 from Artem Koton <kotonartem at protonmail dot com> --- (In reply to Andrew Pinski from comment #1) > https://wg21.cmeerw.net/lwg/issue2749 Could you elaborate? I understand that this issue discusses the constraints in question but a failure to meet them should still result in the function just being excluded from overload resolution. The program should not be ill-formed.