diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/concepts/pr71368.C')
-rw-r--r-- | gcc/testsuite/g++.dg/concepts/pr71368.C | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/concepts/pr71368.C b/gcc/testsuite/g++.dg/concepts/pr71368.C new file mode 100644 index 00000000000..f0e0a956366 --- /dev/null +++ b/gcc/testsuite/g++.dg/concepts/pr71368.C @@ -0,0 +1,25 @@ +// { dg-options "-std=c++17 -fconcepts" } + +struct inner; + +template<typename X> concept bool CompoundReq = requires { + // fine with concrete type in trailing type, i.e. inner& instead of X& + { X::inner_member() } -> X&; +}; + +template<typename X> concept bool Concept = requires { + { X::outer_member() } -> CompoundReq; +}; + +struct inner { static inner& inner_member(); }; +struct outer { static inner outer_member(); }; + +int main() +{ + // fine + static_assert( CompoundReq<inner> ); + static_assert( CompoundReq<decltype( outer::outer_member() )> ); + + // ICE + static_assert( Concept<outer> ); +} |