131
|
1 // { dg-do compile { target c++17 } }
|
|
2 // { dg-options "-fconcepts" }
|
111
|
3
|
|
4 template<typename T, typename U>
|
|
5 concept bool Same = __is_same_as(T, U);
|
|
6
|
|
7 template<typename T0, typename T1, typename T2, typename... T3toN>
|
|
8 concept bool Same<T0, T1, T2, T3toN...> = true; // { dg-error "wrong number|does not match" }
|
|
9
|
|
10 template<typename T>
|
|
11 concept bool C1 = true;
|
|
12
|
|
13 template<typename T>
|
|
14 concept bool C1<T*> = true; // { dg-error "specialization of variable concept" }
|
|
15
|
|
16 template<typename T>
|
|
17 concept bool C2 = true;
|
|
18
|
|
19 template<>
|
|
20 concept bool C2<int> = true; // { dg-error "non-template variable" }
|