[Bug c++/102419] [11/12 Regression][concepts] [regression] return-type-requirement of "Y<typename T::type>" does not check that T::type actually exists
ppalka at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Tue Sep 21 14:56:23 GMT 2021
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102419
--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Note that you can make GCC effectively behave like Clang/MSVC here changing Y's
constraint-expression to trivially depend on its template parameter:
template<class, class U> concept Y = requires { typename U; };
More information about the Gcc-bugs
mailing list