https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69259 --- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- The TS says "Otherwise no effects" which seems pretty clear it's not meant to treat it as an error, but I'll raise it with the committee.