Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
Wait, this was an added language feature? I would have thought that this would have been possible at the inception of the language just as a standard polymorphic feature. After all, isn't it the case that the child's overridden method is still returning the same type (in the eyes of polymorphism) as the parent's method, even when the child method's return type is a subclass of the parents?