https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70513
--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- No, I misunderstood, that would make us accept the code. But at least I have simpler testcase: struct S { enum E : int; enum S::E : int { foo } e; };