This is what the typing spec says about type narrowing[1]: "Type checkers should narrow the types of expressions in certain contexts. This behavior is currentl

This is what the typing spec says about type narrowing[1]: "Type checkers should narrow the types of expressions in certain contexts. This behavior is currently largely unspecified." Have fun. [1] https://typing.python.org/en/latest/spec/narrowing.html#type-narrowing https://typing.python.org/en/latest/spec/narrowing.html#type...