p0380r1 the contract proposal

Preconditions("expects")、postconditions("ensures") and assertions("assert") are collectively called contract. A contract has no observable effect in a correct program.