Вложенные циклы в генераторах списков: внутренний итератор ссылается на внешний?

В Python генераторы списков допускают использование нескольких итераторов, что позволяет создавать вложенные циклы. Однако возникает вопрос, может ли один итератор в понимании ссылаться на другой.

В частности, рассмотрим синтаксис:

[x for x in a for a in b]

Где a и b — последовательности, и предполагается, что результатом будет плоский список. Чтобы воспроизвести это поведение в формате понимания списка, предлагается следующий подход:

[y for x in a for y in x]

Это понимание оценивает итератор внешнего цикла (x) в итератор внутреннего цикла (y), дающий сглаженный результат. Например, при вводе a = [[1, 2], [3, 4]] результатом будет [1, 2, 3, 4], как и хотелось.