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