Elad Kimchi Shoshani

Results 3 issues of Elad Kimchi Shoshani

Implements #17152 Fixes #17149 ### Summary This PR adds to mypy the ability to recognize conditions like `if None in [a, b, c]:` and refine the types of `a, b,...

Following the [bug report](https://github.com/python/mypy/issues/17149), when checking if multiple variables are not None using the syntax `None in ` mypy should be able to refine the types of these variables to...

feature

When checking if multiple variables are not None using the syntax `None in [a, b, c]`, mypy fails to refine the types of these variables to non-Optional types after this...

bug
topic-type-narrowing