Literal infers tuple literal as Union of the items though this syntax is forbidden by PEP 586

The section Illegal parameters for Literal at type check time describes that tuple literals inside Literal are forbidden:

Tuples containing valid literal types like Literal[(1, "foo", "bar")]. The user could always express this type as Tuple[Literal[1], Literal["foo"], Literal["bar"]] instead. Also, tuples are likely to be confused with the Literal[1, 2, 3] shortcut.

Nevertheless mypy seems to be taking this shortcut since it doesn't flag the following code:

from typing_extensions import Literal

a : Literal[(1, 2)] = 1 

Python 3.7, mypy 0.740, typing-extensions 3.7.4.

Bắt đầu bằng cách tái hiện đoạn mã Python được báo cáo bằng Literal[(1, 2)] và xác nhận liệu mypy có chấp nhận nó hay không. Xác định đường dẫn kiểm tra kiểu của Literal và các bài kiểm thử hiện có; được xem là hoàn tất khi các literal tuple trong Literal bị từ chối theo PEP 586.