https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114018
--- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #8) > So, do we need to define those and std::unreachable (); in their bodies or > something similar? No, it needs to be ill-formed to call them, which is already the case as the godbolt example in comment 0 shows: <source>:13:28: error: no matching function for call to 'nexttoward(const T&, const T&)' I think there's nothing to do here.