Redundant cast warning in nested function in a narrowed block

mypy version: 0.641

Given the following (in a file named test.py):

from typing import Optional, List, cast

things: Optional[List[int]] = None
others: List[int] = []

if things is not None:
    filtered = filter(lambda x: x in cast(List[int], things), others)

Running mypy --warn-redundant-casts test.py gives the following warning:

test.py:7: note: Redundant cast to "List[int]"

まず、mypy 0.641 と --warn-redundant-casts を使って test.py の例を再現します。lambda 内で narrowing がどのように処理されるかを追跡し、その後このケースの回帰テストを追加します。完了条件は、ネストされた関数の例で誤った冗長な cast の警告が出なくなることです。