Not possible to use contract on properties
Submitted by Charles
Link to original bug (#687530)
Description
Here is an example of what would be nice to achieve using contract. As for now, it doesn't work perfectly with methods, but not with properties.
Example :
public int year {
get { return this.year; }
set requires (1500 < value && value < 2050) { this.year = value; }
}
Version: 0.18.x