gcc/testsuite/g++.dg/concepts/explicit-spec2.C

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