Wrong typing warning for map. (Argument X to "map" has incompatible type overloaded function)

I write this function to check the rightmost common element of two list.

this is the code.

import itertools

def get_common_index(*names: str) -> int:
    """zip genalogy history name tag."""

    return max(
        i
        for i, x in enumerate(
            map(
                lambda x: len(set(x)) > 1,
                list(reversed(list(itertools.zip_longest(*map(reversed, names), fillvalue="0")))),
            )
        )
        if x
    )

print(get_common_index("1110111111", "101101111")

It works fine, and the input types are correct.

$ python test.py

5

But mypy raise the following error message.

$ mypy test.py

test.py:24: error: Argument 1 to "map" has incompatible type overloaded function; expected "Callable[[str], Iterator[_T]]"

Is this an error of mypy?

まず、提供された test.py の例で報告を再現し、mypy における map、reversed、itertools.zip_longest のオーバーロードの扱いを調べます。map に渡された callable が互換性のない形で推論される理由を追跡し、有効な入力型ではこの警告が生成されなくなったことを示す回帰テストを追加または更新します。