https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125108
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
My understanding is that this is the correct behavior.
[exor,reflect] has specific spots where it requires reflecting aliases, but
this is not one of those.
https://eel.is/c++draft/expr.reflect#5.2
https://eel.is/c++draft/expr.reflect#5.5.3
https://eel.is/c++draft/expr.reflect#6.2
Nothing that talks about template parameters of the type-id etc. in
reflect-expression.