https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95242
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- It was just a sketch to show the idea. Obviously the real thing would need noexcept, but we have a regression test for that. How to construct it is what's relevant here.