1 // { dg-do compile { target c++2a } }
2 
3 template<typename T>
4   concept C = __is_class(T);
5 
6 template<C T> struct S;
7 
8 struct X { };
9 
10 // Not a valid explicit specialization, int does not satisfy C.
11 template<> struct S<int> { }; // { dg-error "constraint failure" }
12 
13 int main() { }
14