Comment by FuriouslyAdrift

If someone wants contracts in C++, why not just use Eiffel?