https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91383
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Specifically, note that Annex D says code MAY fail to compile. It is not
required to fail to compile.
Some users want the features to remain, and it hurts them if the features are
removed. It hurts nobody if they stay ("I want my code to be invalid!" is not a
use case I care about, as I said, there are plenty of other ways to make your
code ill-formed if that's what you desire).
