On 6 Oct 2023, at 19:28, Jens Maurer <jens.maurer@gmx.net> wrote:
If that is indeed the case, then the attribute-like syntax for Contracts would not be ignorable in C, either.

Right, but the argument is that implementations can add the small extension
to parse-ignore ":" in that spot right now, and then be future-proof for
ignoring future attribute-like contracts.

Right. Yes, I can follow that argument. But that begs the question: what is so special or different about Contracts that you want this feature in particular to be backwards-compatibly-ignorable by older compilers, considering that we don't do that for any other new language feature where we add new syntax to the language?

Cheers,
Timur