C++23 does have std::unreachable (as a function), and its counterpart [[assume(expr)]]