↑ Table of Contents ↑ | §4.9.3.(b) Capturing covariant base methods >> |
§4.9.3.(a) No covariant callin methods
A method declared with the callin
modifier that overrides an inherited method
must not redefine the return type with respect to the inherited method.
This reflects that fact that an inherited callin binding should remain type-safe
while binding to the new, overriding role method.
Binding a covariant role method to the original base method would break constraint (1) above.
↑ Table of Contents ↑ | §4.9.3.(b) Capturing covariant base methods >> |