Expanding type of arguments/return type
Submitted by Maciej Marcin Piechotka @mpiechotka
Link to original bug (#592235)
Description
If superclass have method: public virtual MyClass fun(); It should be allowed to declare in subclass: public override MySubclass fun(); where MySubclass is descendant (implementation of interface, subclass or subinterface) of MyClass.
With arguments it should be:
- For in: The broader scope (superclasses etc.)
- For out: The narrower scope as with return type
- For ref: Not allowed
Please not it is very similar to bug 575439