Bucles anidados en listas por comprensión: ¿Iterador interno que hace referencia al exterior?

En Python, las listas por comprensión permiten múltiples iteradores, lo que permite la creación de bucles anidados. Sin embargo, surge la pregunta de si un iterador en una comprensión puede referirse a otro.

Específicamente, considere la sintaxis:

[x for x in a for a in b]

Donde a y b son secuencias y la intención es que el resultado sea una lista aplanada. Para replicar este comportamiento en formato de comprensión de lista, se sugiere el siguiente enfoque:

[y for x in a for y in x]

Esta comprensión evalúa el iterador del bucle externo (x) en el iterador del bucle interno (y), produciendo un resultado aplanado. Por ejemplo, con la entrada a = [[1, 2], [3, 4]], el resultado sería [1, 2, 3, 4], como se desee.