규칙 8.11

A get or set accessor is a function of the module, Owner_get_x or Owner_set_x, which takes its object as a method does (Rule 8.10); a read of o.x must call the getter, and an assignment, a compound assignment, ++ and -- must call the setter with the new value, the compound forms reading the old one through the getter. The nearest class of a chain that declares either half of an accessor owns both, as in TypeScript, and either half’s annotation types the other when one has none. super.x must call the half of x that the nearest class above the one that wrote the body declares, lowered for this class and run on this body’s object. A read of an accessor with no getter, a write of one with no setter, a super.x whose class above declares the other half alone or names an instance field, which is the object’s own, and a write into what a getter returns (o.pos.x = 1.), which is a copy, must be refused with the remedy.