Loops aninhados em compreensões de lista: referência de iterador interno externo?

Em Python, as compreensões de lista permitem vários iteradores, permitindo a criação de loops aninhados. No entanto, surge a questão de saber se um iterador em uma compreensão pode se referir a outro.

Especificamente, considere a sintaxe:

[x for x in a for a in b]

Onde aeb são sequências e a intenção é que o resultado seja uma lista achatada. Para replicar esse comportamento no formato de compreensão de lista, a seguinte abordagem é sugerida:

[y for x in a for y in x]

Esta compreensão avalia o iterador do loop externo (x) no iterador do loop interno (y), produzindo um resultado nivelado. Por exemplo, com a entrada a = [[1, 2], [3, 4]], o resultado seria [1, 2, 3, 4], conforme desejado.