https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104994
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #3) > We might have a defect in the > current draft, because it seems to forbid it. Oh, which Hubert already filed: https://cplusplus.github.io/CWG/issues/2552.html