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

double x = (double)foo();

The above is ambiguous if there are versions of foo() that can return double, int, float, etc.