Repository navigation
"Overloaded ... incompatible return types" error when one overloaded argument is a Tuple #4237
Description
Running mypy (0.550) on the following code:
from typing import overload, Tuple, Any
class A: ...
class B: ...
class C: ...
class D: ...
@overload
def f(x: A) -> B: ...
@overload
def f(x: Tuple[C]) -> D: ...
def f(x: Any) -> Any:...reports:
error: Overloaded function signatures 1 and 2 overlap with incompatible return types
I've tried a couple different types for the second overload and so far the error only seems to occur with Tuple[...] arguments. For instance, I don't see the issue if I substitute def f(x:List[C]) -> D: ... as the 2nd overload.
Activity
gvanrossum commentedon Nov 13, 2017
Yeah, this looks like a bug. I'm not sure where to look. Strangely it perseveres if I use
Tuple[C, C]orTuple[Any]but it is gone withTupleortuple.elazarg commentedon Nov 13, 2017
is_overlapping_types()does not check for tuple types, andgvanrossum commentedon Nov 13, 2017
Yeah, still looks like a bug. That comment is not a specification.
elazarg commentedon Nov 13, 2017
Of course.
Add checks for overlapping TupleTypes (#4238)