...one of the most highly
regarded and expertly designed C++ library projects in the
world. — Herb Sutter and Andrei
boost::contract::postcondition_failure — Call failure handler for postconditions.
// In header: <boost/contract/core/exception.hpp> void postcondition_failure(from where);
This is often called only internally by this library.
Throws: This can throw in case programmers specify a failure handler that throws exceptions on contract assertion failures (not the default).
Throw on Failure, Postconditions