class invariants and property declarations

[Jesse Phillips]

Dmitry Olshansky Wrote:

> Now to properties, this is actually shouldn't be allowed:
> 
>   @property int hours;
> 
> @property is a annotation applied to functions (getter/setter), to allow calling it with omitted () and a natural assign syntax like this:

Why shouldn't it be allowed? While it provides no benefit it does document that it is a property.