gcc/testsuite/g++.dg/concepts/var-concept1.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4 concept bool C1 = __is_class(T);
   5
   6 template<typename T>
   7 concept bool C2 = requires (T t) { t; };
   8
   9 void f1(C1, C1) { }
  10
  11 template<typename T>
  12   requires C2<T>
  13 void f2(T) { }
  14
  15 void f3(C2) { }
  16
  17 struct S1 {};
  18
  19 int main ()
  20 {
  21   f1(S1(), S1());
  22   f2(0);
  23   f3(0);
  24
  25   return 0;
  26 }