variance okay for literals, but not expressions ([1, 2] okay for list[int | None] but [1] + [2] is error)

a: list[int | None] = [1] + [2] + [None]
b: list[int | None] = [1] + [2]
c: list[int | None] = [1, 2]

a is okay, b is an error, c is okay

Apologies if this is a repeat / common issue. I couldn't find anything in the docs. This is popping up for me a lot, my interpretation is that mypy allows type invariance on literals that it will not for expressions.

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.11&gist=b999a1bd2e975645b868c0b376c910e8

Expected Behavior

Either b and c should both be errors or (preferably) neither.

Actual Behavior

b is an error but c isn't

Your Environment

• Mypy version used: 1.7.1 and master
• Python version used: 3.11

Inizia eseguendo la riproduzione mypy-play collegata con mypy 1.7.1 o master e Python 3.11, confrontando le diagnosi per le assegnazioni a, b e c. Il lavoro è terminato quando il comportamento di [1] + [2] concorda con quello di [1, 2], secondo il comportamento previsto indicato nell’issue.