Optional Standard library hardening is an ongoing active topic.
 

-----Ursprüngliche Nachricht-----
Von: Adrian Johnston via Std-Proposals <std-proposals@lists.isocpp.org>

I was just reading the steering groups paper:  https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p2000r5.pdf

 

And safety is a major focus coming from them. So I would love to see P2900 style assertions put into the standard library instead of having UB everywhere. That would also allow an evaluation semantics mode "assume" as I described previously to leverage those assertions where it was deemed safe to do so.