Bug with filter

from typing import Optional
from typing import Sequence

from more_itertools import first


class A:
    def some_method(self):
        pass


def f(inp: Sequence[A]) -> Optional[A]:
    return first(filter(lambda a: a.some_method(), inp), None)

Output

test.py:13: error: Item "None" of "Optional[A]" has no attribute "some_method"

まず、issue の Python スニペットで診断を再現し、次に mypy が filter と more_itertools.first の callback の型と結果の型をどのように推論するかを追跡します。この例で値が None になる可能性があるという報告が出なくなり、実際にオプショナルな値については引き続き正しくチェックされれば、修正は完了です。