1 2 3 4 5 6 7 8
// { dg-do compile { target c++17 } } // { dg-additional-options "-fconcepts" } template <class T> struct A { }; template <class T> requires false struct A<T*> { }; template <class T> struct A<T*> { static int i; }; int i = A<int*>::i;