1 // { dg-do compile { target c++2a } }
2 // { dg-additional-options "-fconcepts-ts" }
3 
C()4 template<class X> concept bool C() {
5   return __is_same_as(X, int) || __is_same_as(X, long);
6 }
7 
8 template<C... Tx>
9 struct Ax {};
10 
main()11 int main() {
12   Ax<int, long> a;
13   Ax<int, long, void> b; // { dg-error "template constraint failure" }
14   return 0;
15 }
16