https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99631
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Last reconfirmed| |2021-03-18
Status|UNCONFIRMED |NEW
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
I'm not sure "rejects-valid" is appropriate, as it only fails to compile
because of the static assert (i.e. you've asked for it).
But wrong-code isn't really right either, because this is before any codegen
happens. Every bug in metaprogramming results can be turned into
accepts-invalid or rejects-valid or wrong-code, but none of those keywords is
really specific to the actual form of the bug. Maybe we need a new keyword (and
no, meta-bug is it either ;-).
