https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92034
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2019-10-09 Ever confirmed|0 |1 --- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- I'm not sure if a diagnostic is required. The standard doesn't specifically say it's ill-formed to do this. By my reading it's undefined, and so silently accepting it is a conforming (but unhelpful) implementation. Confirming as a diagnostic enhancement at least (and maybe accepts-invalid if it's supposed to require a diagnostic).