https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100470
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- My guess is that either is_nothrow_xible or check_noexcept_r assumes that a trivial special member is always non-throwing, but that fails to consider the P1206 rule that says if there's an explicit noexcept-specifier, that overrides the implicit one.
