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]"

Beginne damit, das Beispiel in test.py mit mypy 0.641 und --warn-redundant-casts zu reproduzieren. Verfolge, wie das Narrowing innerhalb des lambda behandelt wird, und füge dann einen Regressionstest für diesen Fall hinzu; fertig ist die Aufgabe, wenn das Beispiel mit der verschachtelten Funktion keine inkorrekte Warnung über einen redundanten Cast mehr erzeugt.