Type narrowing - mypy 1.19.1 documentation
mypy.readthedocs.io