Одна и та же переменная или почему это работает?

В статье рассказывается, почему конструкции типа for x in x работают корректно.