Type narrowing - mypy 1.19.1 documentation