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

Inizia eseguendo la riproduzione fornita con Python 3.11.8 e mypy 1.13.0 e confronta l'inferenza per le espressioni di tupla e di lista. Traccia l'inferenza dei tipi delle comprensioni di lista e aggiungi o aggiorna un test di regressione in modo che entrambe le espressioni derivino lo stesso tipo list[int | str].