Runtime checking design, in case an ISO language needs it: * Build modes: debug, release, release_unchecked * New functions: std::check(bool) (runs in release and debug), std::dcheck(bool) (runs in debug only) * If check/dcheck is passed false, it throws std::contract_violation (which does not inherit from std::exception because it's not an exception) There you go, better asserts. Does not solve ODR problems but assert() doesn't either. Feel free to add to C++27 #cpp #cplusplus #cpp26