list comprehensions: mypy fails to derive the union type for lists but not for tuples

Bug Report

Inside a list comprehension mypy fails to derive the union type for lists but not for tuples.

To Reproduce

a = 5
b = "a_string"
list1: list[int | str] = [x for x in (a, b)]  # works
list2: list[int | str] = [x for x in [a, b]]  # fails

Expected Behavior

The same type should be derived for both lists.

Actual Behavior

The first list is recognised as list[int | str],
The second list is recognised as list[object],
Hence the error on line 4

❯ mypy mypy-repro.py                                                                                                                                                                                                               ─╯
mypy-repro.py:4: error: List comprehension has incompatible type List[object]; expected List[int | str]  [misc]
Found 1 error in 1 file (checked 1 source file)

Your Environment

❯ python --version                                                                                                                                                                                                                 ─╯
Python 3.11.8

❯ pip list | grep mypy                                                                                                                                                                                                             ─╯
mypy                  1.13.0
mypy-extensions       1.0.0

Comience ejecutando la reproducción proporcionada con Python 3.11.8 y mypy 1.13.0, y compare la inferencia para las expresiones de tupla y de lista. Rastree la inferencia de tipos de la comprensión de listas y añada o actualice una prueba de regresión para que ambas expresiones deriven el mismo tipo list[int | str].