[Bug c++/123828] [reflection] Yet another unexpected "consteval-only expressions are only allowed in a constant-evaluated context"

[mpolacek at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123828

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
                 CC|                            |mpolacek at gcc dot gnu.org
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
I don't think is a bug.  types_b is a template so can be promoted to consteval,
but types_a can not.  You should make types_a consteval, then this test
compiles.