Actually, I don't think that can happen. I can't look for source now, but subtype polymorphism (like subclassing) is not compatible with type inference, unlike

Actually, I don't think that can happen. I can't look for source now, but subtype polymorphism (like subclassing) is not compatible with type inference, unlike parametric polymophism (like SML polymophism or Java generics).