If someone wants contracts in C++, why not just use Eiffel?
If someone wants contracts in C++, now they can just keep using C++. Which is good, because a lot of people and projects are stuck with C++, so the actual question is merely: can you have contracts in your project or can’t you?
Because then they wouldn't have contracts in C++.