Kind of relatedly, I find something weird:
This is possible:
This is not:
Edit: Forgot Extend
This is possible:
Type Base Method DoSomething:Base() End Method End Type Type Derived Extends Base Method DoSomething:Derived() End Method End Type
This is not:
Type Base Method DoSomething(other:Base) End Method End Type Type Derived Extends Base Method DoSomething(other:Derived) End Method End Type
Edit: Forgot Extend