https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106611
--- Comment #16 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Comment 0 was fixed by r14-6395 (for Bug 100470).
Comment 11 was fixed by the same commit.
Comment 5 was only partially fixed though, two cases still fail:
106611-c5.cc:12:15: error: static assertion failed
12 | static_assert(!std::is_nothrow_default_constructible_v<S>);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
106611-c5.cc:18:15: error: static assertion failed
18 | static_assert(!noexcept(S()));
| ^~~~~~~~~~~~~~