Repository navigation
Inconsistent return type when calling overloaded function with Any argument #3662
Description
The results of type checking the following fragment are unexpected:
from typing import Any, overload, Union
@overload
def f(x: int) -> int: ...
@overload
def f(x: Union[int, float]) -> float: ...
def f(x): pass
@overload
def g(x: int) -> int: ...
@overload
def g(x: float) -> float: ...
def g(x): pass
a: Any
reveal_type(f(a)) # Any <--- okay
reveal_type(g(a)) # int <--- unexpectedThe correct result would arguably be Any for both of the calls. Union[int, float] should be equivalent to just float.
This seems to interact with the result type of os.path.join in Python 2 mode with #3300.
Activity
ilevkivskyi commentedon Aug 31, 2017
On current master both of them return
int.emmatyping commentedon Aug 31, 2017
Interestingly, with
strict-optionalit reportsEDIT: this is on 0.521
ilevkivskyi commentedon Aug 31, 2017
Something strange happens, I just installed from master on another machine and it gives me:
both with and without
--strict-optional. I tried this twice, probably my previous comment is just wrong.emmatyping commentedon Aug 31, 2017
Strange. Just to avoid concerns about inconsistencies, I should have mentioned I was using 0.521, so it seems the overload issue was fixed in master.
Infer better type for call to overload with Any actual arguments
Infer better type for call to overload with Any actual arguments (#3917)