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