NB: in your example, `setText` can't "refine" its ...

# language-proposals

[dmitry.petrov]

NB: in your example, setText can't "refine" its arguments (otherwise it will not override the original method).
Covariant return types (that is, "refined" return type of the getter in your example) are ok, and are used rather frequently.