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


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

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

template<int...>
concept C = true;

template<int, int>
concept D = true;

int main() {
  if (C<1>); // { dg-bogus "does not constrain a type" }
  if (D<1>); // { dg-error "wrong number of template arguments" }
	     // { dg-bogus "does not constrain a type" "" { target *-*-* } .-1 }
}