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

   1 // PR c++/100288
   2 // { dg-do compile { target c++20 } }
   3
   4 struct A { };
   5
   6 template<typename T> concept pipeable = requires(A a, T t) { a | t; }; // { dg-error "depends on itself" }
   7
   8 template<pipeable T> void operator|(A, T);
   9
  10 void f(A tab) {
  11   tab | 1; // { dg-error "no match" }
  12   tab | 1; // { dg-error "no match" }
  13 }