Dificultad con explicación de sentencia for

[CalgaryCorpus]

No es ejemplo de un cambio de tipo.
Se le asocia un tipo, pero no se está cambiando ninguno y, nuevamente, no invalida la regla que el tipo de la expresión de la derecha, aquella con varias expresiones separadas con coma, es el tipo de la última expresión.

Si volvemos al tópico central, creo que estarás de acuerdo con que la regla se cumple.