Inconsistent behavior with Literals depending on the amount of elements it contains

This is an issue I ran into working on #9097.
Code adapted from this test.

Literals with one value:

from typing import List
from typing_extensions import Literal

lit1: Literal[1]
lit2: Literal[2]

arr2 = [lit1, lit2]

reveal_type(arr2)

➜  mypy git:(master) python3 -m mypy leba_misc/test2.py
leba_misc/test2.py:9: note: Revealed type is 'builtins.list[builtins.int*]'

Literals with multiple values:

from typing import List
from typing_extensions import Literal

lit1: Literal[1]
lit2: Literal[2, 3]

arr2 = [lit1, lit2]

reveal_type(arr2)

➜  mypy git:(master) python3 -m mypy leba_misc/test2.py
leba_misc/test2.py:9: note: Revealed type is 'builtins.list[Union[Literal[1], Literal[2], Literal[3]]]'

On Python 3.7 and mypy 0.790.

Commencez par exécuter avec mypy les deux snippets de reproduction de l’issue et comparez-les avec test-data/unit/check-literal.test autour du cas lié. Suivez le comportement de revealed-type lors de l’inférence de listes impliquant des valeurs Literal, puis ajoutez ou mettez à jour un test de régression afin que les cas à une valeur et à plusieurs valeurs se comportent de manière cohérente.