Perhaps there is still hope for reasonably modern and safe C++. I always considered undefined behavior (UB) a C++ standard sloppiness introduced because of pre-existing compiler differences, weird CPU architectures, memory consistency models, etc. Herb says (in the appendix) UB is for performance optimization reasons. OMG, if that's the case, we sacrificed a ton of correctness and safety/security for a little bit of performance... OMG...
Either way, C++ might get a lot better with the UB removed.
https://herbsutter.com/2025/03/30/crate-training-tiamat-un-calling-cthulhutaming-the-ub-monsters-in-c/