A C++ Standards proposal for including Class Invariants in the Contracts MVP - View it on GitHub