gcc/testsuite/g++.dg/cpp2a/concepts-dr1430.C


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

// PR c++/66092
// { dg-do compile { target c++20 } }

template <typename T, typename U, typename... Args>
  concept Similar = true;

template <typename... Args>
  requires Similar<Args...> // { dg-error "pack expansion" }
void foo( Args... args ) {}

int main()
{
  foo(1, 2, 3); // { dg-error "" }
}