Looses type of nested/inner collection in a `flatten(filter(...))` chain

In the following, very reduced code line d does not typecheck.

from itertools import chain
from typing import List


ints_of_ints: List[List[int]]
c = filter(lambda ints: len(ints), ints_of_ints)  # ok
reveal_type(c)  # typing.Iterator[builtins.list[builtins.int]]

d = chain.from_iterable(filter(lambda ints: len(ints), ints_of_ints))  # mypy: error arg-type - Argument 1 to "len" has incompatible type
                                                                       # "Iterable[int]"; expected "Sized"
reveal_type(d)  # typing.Iterator[builtins.int*]

The interesting or surprising part is that inside the d line mypy thinks that ints is Iterable[int].

Tried mypy 0.782 and mypy-0.790+dev.4cf246f3bb2589d343fe1fdb67a42a23a23c041b.dirty

Beginne damit, das reduzierte Python-Beispiel mit den gemeldeten mypy-Versionen zu reproduzieren, und untersuche, wie die Typinferenz den Filter-Callback innerhalb von chain.from_iterable behandelt. Als erledigt gilt die Aufgabe, wenn das Beispiel die Typprüfung besteht und der aufgedeckte Typ für d Iterator[int] bleibt, ohne das Verhalten des einfacheren Filter-Falls abzuschwächen.