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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool C() { return __is_class(T); }
   5
   6 template<typename T>
   7   requires C<T>()
   8     void f(T x) { }
   9
  10 // Non-dependent args are checked even in dependent scope.
  11 template<typename T>
  12   void h(T x) {
  13     f(0); // { dg-error "cannot call" }
  14   }
  15
  16 int main() {
  17   f(0); // { dg-error "cannot call" }
  18 }