1 // { dg-options "-std=c++17 -fconcepts" }
3 template<typename T, typename U>
4 concept bool Same = __is_same_as(T, U);
6 template<typename T0, typename T1, typename T2, typename... T3toN>
7 concept bool Same<T0, T1, T2, T3toN...> = true; // { dg-error "wrong number|does not match" }
10 concept bool C1 = true;
13 concept bool C1<T*> = true; // { dg-error "specialization of variable concept" }
16 concept bool C2 = true;
19 concept bool C2<int> = true; // { dg-error "non-template variable" }