if constexpr ( .... ) { . . . }
else if constexpr ( ... ) { . . . }
else
{
    std::terminate_compilation();
}

I think this proposal covers the above case
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2593r0.html

--
Std-Proposals mailing list
Std-Proposals@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals