https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83469
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2021-08-09 Keywords| |accepts-invalid, | |rejects-valid Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed. here is an example where we should reject it instead: struct S { union U { int m; }; }; template <typename T> void f() { struct T::U u; } int main() { f<S>(); }