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

Comienza reproduciendo el ejemplo reducido de Python con las versiones de mypy indicadas e inspecciona cómo maneja la inferencia de tipos el callback de filtro dentro de chain.from_iterable. Se considera terminado cuando el ejemplo pasa la comprobación de tipos y el tipo revelado de d sigue siendo Iterator[int] sin debilitar el comportamiento del caso de filtro más sencillo.