Type of global variable is not narrowed in function scopes #311
Description
Summary
class Instance: ...
_instance: Instance | None = None
def get_instance() -> Instance:
"""Lazy static to get the instance"""
global _instance
if _instance is None:
_instance = Instance()
return _instanceWe already checked that if it's None we assign a value to it, so the return value can't be possibly None anymore