https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95809
--- Comment #2 from Nathan Sidwell <nathan at gcc dot gnu.org> --- yup, dr2061 made that ill-formed. p1701 (wg21.link/p1701) documents the behaviour and it appears EWG is exploring another avenue to resolve the underlying problem 2061 was attempting to fix.