yes that's covariant return types. i meant exploit...

# language-proposals

[mikehearn]

yes that's covariant return types. i meant exploit in the sense that is being suggested above, where the type required by an expression picks the overload