I'm almost sure that's true in general for the get-only case, as Jordan mentioned. Usability is an important argument, and I wouldn't be against a formal proposal on this. The coding part is quite the challenge though based on what we currently have for overrides. In these cases subtype relationships involving composition aren't supported whatsoever, so I think a proposal should address both covariant overrides and witnesses.