[possibly-undefined] Fix loop misconceptions #13142

Job	Run time
Test mypyc suite with 32-bit Python	4m 11s
Test suite with py38-ubuntu, mypyc-compiled	4m 10s
Test suite with Python nightly	4m 12s
Test suite with py38-windows-64	3m 59s
Test suite with py39-ubuntu	4m 12s
Test suite with py310-ubuntu	4m 13s
Test suite with py311-ubuntu, mypyc-compiled	4m 12s
Test suite with py312-ubuntu, mypyc-compiled	4m 12s
mypyc runtime tests with py39-macos	4m 2s
mypyc runtime tests with py38-debug-build-ubuntu	4m 12s
Type check our own code (py38-ubuntu)	1m 53s
Type check our own code (py38-windows-64)	2m 14s
Formatting and code style with Black + ruff	34s
	46m 16s

Provide feedback