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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool C1 = __is_class(T);
   5
   6 template<typename U>
   7   requires C1<U>
   8   void f1(U, U) { }
   9
  10 void f2(C1) {}
  11
  12 int main ()
  13 {
  14   f1(0, 0); // { dg-error "cannot call" }
  15   f2(1); // { dg-error "cannot call" }
  16   return 0;
  17 }