Return type polymorphism in C-like languages

Question

Why don\'t we see C-like languages that allow for callables with polymorphism in the return type? I could see how the additional type inference would be a hurdle, but we hav

Answer 1

Because of auto-conversion of types, it is not obvious to know which function to call when return types are close.