https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78830 --- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Why is it ill-formed? By my reading it's undefined, which does mean we can reject it anyway, but I don't see anything to make it ill-formed that would require rejecting it unconditionally.