Please consider making typing filter as good as comprehensions

[NeilGirdhar]

from typing import Iterable, Optional
a: list[Optional[int]] = [1, None, 2]
b: Iterable[int] = filter(lambda x: x is not None, a)  # a.py:3: error: Argument 2 to "filter" has incompatible type "List[Optional[int]]"; expected "Iterable[int]"
c: Iterable[int] = (x
                    for x in a
                    if x is not None)  # Works great!

[sobolevn]

This would be solved after python/typeshed#6140 is merged! 👍

I've just checked it locally.

[NeilGirdhar]

Awesome, thanks for checking!

[AlexWaygood]

The relevant overload has been added to typeshed; see my remarks here for details on usage: #6847 (comment)