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

Inizia riproducendo l'esempio Python ridotto con le versioni di mypy indicate e verifica come l'inferenza dei tipi gestisce il callback di filtro all'interno di chain.from_iterable. Il lavoro è completato quando l'esempio supera il controllo dei tipi e il tipo rivelato per d rimane Iterator[int] senza indebolire il comportamento del caso di filtro più semplice.