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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// { dg-do compile { target c++2a } }

template<typename T>
concept Fooable = requires(T t) { foo(t); }; // { dg-error "template instantiation depth" }

template<Fooable T>
void foo(T t) { }

void test()
{
  struct S {} s;
  foo(s);
}

// { dg-prune-output "compilation terminated" }