https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124324
--- Comment #4 from friedkeenan at protonmail dot com ---
(In reply to friedkeenan from comment #3)
>
> ```
> #include <meta>
>
> template<typename>
> void function();
>
> constexpr auto substituted = substitute(^^function, {^^int});
>
> static_assert(is_function(substituted));
> ```
Additionally if one tries to query `type_of(substituted)`, then an exception is
thrown claiming it does not in fact even have a type:
```
error: uncaught exception of type 'std::meta::exception'; 'what()': 'reflection
does not have a type'
```
