https://isocpp.org/files/papers/P2593R1.html   R1 got accepted as a DR   -----Ursprüngliche Nachricht----- Von:Oleksandr Koval via Std-Proposals <std-proposals_at_[hidden]> Gesendet:Fr 19.05.2023 12:33 Betreff:Re: [std-proposals] std::terminate_compilation An:std-proposals_at_[hidden]; CC:Oleksandr Koval <oleksandr.koval.dev_at_[hidden]>; It actually works in trunk gcc/clang: https://godbolt.org/z/oKasW8zqf. On Fri, May 19, 2023 at 1:29 PM Pavel Vazharov via Std-Proposals <std-proposals_at_[hidden] <mailto:std-proposals_at_[hidden]> > wrote:   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_at_[hidden] <mailto:Std-Proposals_at_[hidden]> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals -- Regards, Oleksandr Koval. -- Std-Proposals mailing list Std-Proposals_at_[hidden] https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals