I\'m trying to understand the state of typing analysis in Python IDE env offered by some language servers like Pyright/Pylance. Let\'s say I have a code like this:
