Maybe they're referring to the fact that if you do `for x in y` and y isn't properly annotated, then you will need to write x: MyType for x in y:

Maybe they're referring to the fact that if you do `for x in y` and y isn't properly annotated, then you will need to write x: MyType for x in y: ... for x to be annotated properly.