Regarding isocpp "Contracts design" proposal (p0380r1), I wonder why we need names for expects/ensures/assert. The conditions' could be expressed *just* before an opening brace, *just* after, or somewhere else and that would mean respectively: precondition, postcondition, or assertion. (I'm not sure what's the grammar impact of this suggestion, though.) On a side note, this would make the otherwise empty brace-lines more meaningful :)
Login or register to reply