Type inference in high level function

For fully valid code got:
error: Argument 1 to "map" has incompatible type overloaded function; expected "Callable[[Iterator[_T], int, None], Iterator[_T]].

In foo.py:

from typing import Generic, Iterable, Iterator, Sequence, TypeVar
_T = TypeVar('_T')

class Windowed(Generic[_T]):
    def __init__(self, it: Iterable[_T], size: int) -> None:
        self.it = it
        self.size = size

    def __iter__(self) -> Iterator[Sequence[_T]]:
        iters = tee(self.it, self.size)
        slices = map(islice, iters, count(0), repeat(None))
        return zip(*slices)

However islice has overload:

def islice(iterable: Iterable[_T], start: Optional[int], stop: Optional[int],
           step: Optional[int] = ...) -> Iterator[_T]: ...

Using mypy 0.750 from PyPI, on python 3.7.5. Running it via mypy foo.py

Python 3.7.5 上で mypy 0.750 を使って foo.py の診断を再現し、map(islice, iters, count(0), repeat(None)) の呼び出しと、issue に示されている islice のオーバーロードに焦点を当てます。オーバーロードされた関数の型推論を追跡し、有効な例で互換性のない引数エラーが報告されなくなったことを確認します。