Call to overloaded function with Any argument results in too precise type

[JukkaL]

The inferred type of f(a) below is int. It would be better to infer Any, since the correct type can't be predicted due to the Any argument type:

from typing import overload, Any

@overload
def f(x: int) -> int: ...
@overload
def f(x: object) -> object: ...
def f(x): pass

a: Any
reveal_type(f(a))  # int (but should be Any)

This blocks PR #3300 from being merged, since the PR will expose additional cases where a too precise type is inferred.

[ilevkivskyi]

Isn't this just a duplicate of #3662?

[JukkaL]

Oops, this a dupe (though the example is slightly different).