that check can go in the class level without need ...

# language-proposals

[Pere Casafont]

that check can go in the class level without need for recursivity: we'd detect write attempts when a setter or a function which doesn't have a "not mutating" modifier is called