Contract Concerns [pdf] (open-std.org)

C++ is proposing pre- and post- conditions to verify functions in C++26; notably, Bjarne Stroustrup (C++ creator) is opposed