|
131
|
1 // { dg-do compile { target c++17 } }
|
|
|
2 // { dg-options "-fconcepts" }
|
|
111
|
3
|
|
|
4 struct inner;
|
|
|
5
|
|
|
6 template<typename X> concept bool CompoundReq = requires {
|
|
|
7 // fine with concrete type in trailing type, i.e. inner& instead of X&
|
|
|
8 { X::inner_member() } -> X&;
|
|
|
9 };
|
|
|
10
|
|
|
11 template<typename X> concept bool Concept = requires {
|
|
|
12 { X::outer_member() } -> CompoundReq;
|
|
|
13 };
|
|
|
14
|
|
|
15 struct inner { static inner& inner_member(); };
|
|
|
16 struct outer { static inner outer_member(); };
|
|
|
17
|
|
|
18 int main()
|
|
|
19 {
|
|
|
20 // fine
|
|
|
21 static_assert( CompoundReq<inner> );
|
|
|
22 static_assert( CompoundReq<decltype( outer::outer_member() )> );
|
|
|
23
|
|
|
24 // ICE
|
|
|
25 static_assert( Concept<outer> );
|
|
|
26 }
|
