https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122875
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |123615
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The trunk gives:
```
<source>:7:18: error: uncaught exception of type 'std::meta::exception';
'what()': 'invalid argument to can_substitute'
7 | concept test = [:substitute(^^x, bases_of(^^T,
std::meta::access_context::current())):];
|
~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<source>:11:15: error: static assertion failed
11 | static_assert(test<B>);
| ^~~~~~~
• constraints not satisfied
• required by the constraints of 'template<class T> concept test'
<source>:7:9:
7 | concept test = [:substitute(^^x, bases_of(^^T,
std::meta::access_context::current())):];
| ^~~~
• error: uncaught exception of type 'std::meta::exception'; 'what()':
'invalid argument to can_substitute'
<source>:7:18:
7 | concept test = [:substitute(^^x, bases_of(^^T,
std::meta::access_context::current())):];
|
~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
• error: uncaught exception of type 'std::meta::exception'; 'what()':
'invalid argument to can_substitute'
Compiler returned: 1
```
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123615
[Bug 123615] (c++-reflection) - [meta-bug] reflection issue
