that doesn't sound valid. there's a difference bet...

# announcements

[araqnid]

that doesn't sound valid. there's a difference between what you wrote first- where you override the property so that the property's type is a subtype; and what you wrote second- where you override the property so the property has the same type as the base class, but the getter's type is a subtype of the property type.