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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 #include <cassert>
   4
   5 template<typename T>
   6   concept bool C() { return __is_class(T); }
   7
   8 template<typename T>
   9   concept bool D() { return C<T>() && __is_empty(T); }
  10
  11 struct X { } x;
  12 struct Y { int n; } y;
  13
  14 int called = 0;
  15
  16 template<typename T>
  17   struct S {
  18     void f() requires C<T>();
  19   };
  20
  21 template<> void S<int>::f() { called = 1; } // { dg-error "match" }