gcc/testsuite/g++.dg/concepts/class3.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool C() { return __is_class(T); }
   5
   6 // Check class redeclaration with alternative spellings.
   7 template<typename T> requires C<T>() struct S;
   8 template<C T> struct S { };
   9
  10 struct X { };
  11
  12 // S<X> sx;
  13
  14 int main() { }