blob: 76398609709c9e7da17358b64ce265119b96b4cf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// { dg-options "-std=c++17 -fconcepts" }
template<typename T>
concept bool One() { return sizeof(T) >= 4; }
template<typename T>
concept bool Two() { return One<T>() && sizeof(T) >= 8; }
// Check ordering of partial specializaitons
template<typename T>
struct S2 { static const int value = 0; };
template<One T>
struct S2<T> { static const int value = 1; };
template<Two T>
struct S2<T> { static const int value = 2; };
struct one_type { char x[4]; };
struct two_type { char x[8]; };
static_assert(S2<char>::value == 0, "");
static_assert(S2<one_type>::value == 1, "");
static_assert(S2<two_type>::value == 2, "");
int main() { }
|