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