Well, they added "contracts" to C++26 (and did not remove it before the freeze), though it's not super clear how to use it, and apparently only GCC even claims to implement it. https://en.cppreference.com/cpp/language/contracts seems to have an overview.
It would be good to add it to the comparison, though given the amount of implementation-defined behavior it might be best to wait until there is at least a second implementation first...
Well, they added "contracts" to C++26 (and did not remove it before the freeze), though it's not super clear how to use it, and apparently only GCC even claims to implement it. https://en.cppreference.com/cpp/language/contracts seems to have an overview.
It would be good to add it to the comparison, though given the amount of implementation-defined behavior it might be best to wait until there is at least a second implementation first...