https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92431
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #4) > This is incomplete because std::strong_order doesn't support > floating-point types. See PR 96526 regarding that. > The partial_order and weak_order tests use VERIFY instead of > static_assert because of PR 92431. Some of those VERIFYs have been changed to static_assert in r11-2609
