| // 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 } | |
| } |