1 // { dg-options "-std=c++17 -fconcepts" }
2 
3 template<typename T>
C()4   concept bool C() { return __is_class(T); }
5 
6 template<C T> using X = T*;
7 
8 struct S { };
9 
main()10 int main()
11 {
12   X<S> x1;
13 }
14