mypy

Enables the narrowing of variable types when checking a variable is "in" a collection.

#17344

Merged