Contracts are in C++26 despite disagreement over their value
… Sutter called it "the most powerful new engine for expressing efficient abstractions that C++ has ever had." Sutter also talked up memory safety improvements in C++, for example, by defining erroneous behavior for uninitialized reads. …