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

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.