C++26 adopts contracts and hardened library preconditions
engineeringcppcontractshardeningstandardsHagenberg puts contracts into the C++26 draft and gives selected standard library preconditions a checking requirement. The two changes have different enforcement guarantees.