Hint to user to use == if they used = in pre/post conditions

I made an error when writing a precondition x: int = 0, when it should have been x: int == 0.

I feel like this could be a common mistake people will make. How about we give a suggestion to the user: "did you mean to use == instead of =?"

This will be noted in the documentation. Obviously we won't want to leave them guessing as to what the operators or format is.