Improve for loop index variable type narrowing#18014

JukkaL merged 2 commits intopython:masterpython/mypy:masterfrom

cdce8p:improve-index-typingcdce8p/mypy:improve-index-typingCopy head branch name to clipboard