https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104141
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note clang fails the static_assert with this one but that does not make sense at all: class A{ static void f(); }; template <class T> concept t = requires{ A::f(); }; static_assert( !t<A> );