// { dg-do compile { target c++17_only } }
// { dg-options "-fconcepts" }

template<typename T, typename U>
concept bool Same = __is_same_as(T, U);

template<typename T0, typename T1, typename T2, typename... T3toN>
concept bool Same<T0, T1, T2, T3toN...> = true; // { dg-error "wrong number|does not match" }

template<typename T>
concept bool C1 = true;

template<typename T>
concept bool C1<T*> = true; // { dg-error "specialization of variable concept" }

template<typename T>
concept bool C2 = true;

template<>
concept bool C2<int> = true; // { dg-error "non-template variable" }