There should be property observers in protocol extensions, so that even property observers will get default implementations, like functions or computed properties.
Andru