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

   1 // PR c++/98394
   2 // { dg-do compile { target c++20 } }
   3
   4 template<int...>
   5 concept C = true;
   6
   7 template<int, int>
   8 concept D = true;
   9
  10 int main() {
  11   if (C<1>); // { dg-bogus "does not constrain a type" }
  12   if (D<1>); // { dg-error "wrong number of template arguments" }
  13              // { dg-bogus "does not constrain a type" "" { target *-*-* } .-1 }
  14 }