But then you'd have to know there is a setter in the inherited class. That could change as an implementation detail.
Indeed. That could be fixed by letting ::`x= be the implicit setter if x is declared as a variable without getter or setter in the parent class, though.