gcc/testsuite/g++.dg/cpp2a/concepts-recursive-sat2.C

   1 // { dg-do compile { target c++20 } }
   2
   3 template<typename T>
   4 concept Fooable = requires(T t) { foo(t); }; // { dg-error "depends on itself" }
   5
   6 template<Fooable T>
   7 void foo(T t) { }
   8
   9 void test()
  10 {
  11   struct S {} s;
  12   foo(s); // { dg-error "no match" }
  13 }