False negative: `typing.Literal[<Union expression>]`

Bug Report, To Reproduce, & Actual Behaviour

See mypy playground

from typing import Literal

a: Literal[1 | None]
reveal_type(a)

note: Revealed type is "Union[Literal[1], None]"
Success: no issues found in 1 source file

For the runtime counterpart, this will result in a TypeError: unsupported operand type(s) for |: 'int' and 'NoneType' if the module doesn't have from __future__ import annotations or invalid results for runtime annotation inspectors (e.g. in the case of typing.Literal[1 | 2]).

Expected Behavior

Maybe:

error: Invalid type: Literal[...] cannot contain arbitrary expressions  [valid-type]
note: Revealed type is "Any"

Your Environment

• Mypy version used: 1.10
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.10 & 3.12

Beginne damit, das Beispiel im verknüpften mypy playground mit Python 3.10 oder 3.12 und der gezeigten Literal[1 | None]-Annotation zu reproduzieren. Verfolge, wie mypy Literal-Argumente verarbeitet, und vergleiche das Ergebnis mit der vorgeschlagenen Diagnose für einen ungültigen Typ und der Any-Ausgabe; abgeschlossen ist die Aufgabe, wenn beliebige Union-Ausdrücke konsistent abgelehnt werden.