https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120306
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Oh I think MSVC is the only one which rejects this for the correct reason. And I think libc++'s concept define is incorrect too: take: ``` #include <concepts> struct S{ static constexpr auto t = std::copy_constructible<S>; }; constexpr auto t1 = std::copy_constructible<S>; static_assert(S::t == t1); int main(){} ``` Only libc++ rejects this. MSVC/EDG/GCC all accepts this as valid.