|
131
|
1 // { dg-do compile { target c++17 } }
|
|
|
2 // { dg-options "-fconcepts" }
|
|
111
|
3
|
|
|
4 template<typename T>
|
|
|
5 concept bool One() { return sizeof(T) >= 4; }
|
|
|
6
|
|
|
7 template<typename T>
|
|
|
8 concept bool Two() { return One<T>() && sizeof(T) >= 8; }
|
|
|
9
|
|
|
10 // Check that there is no ecsacpe hatch
|
|
|
11 template<Two T> struct S4 { };
|
|
|
12 template<One T> struct S4<T> { }; // { dg-error "does not specialize" }
|
|
|
13
|
|
|
14 struct one_type { char x[4]; };
|
|
|
15
|
|
|
16 // Constraints are checked even when decls are not instantiatied.
|
|
|
17 S4<one_type>* x4b; // { dg-error "constraint|invalid" }
|
|
|
18
|
|
|
19 int main() { }
|
