Cannot combine NewType and Literal

(This seems related to, but different from, #2448.)

Feature

Allow the creation of a NewType derived from Literal.

Pitch

Currently you can define the following types:

Foo = Literal["foo"]
Bar = NewType("Bar", str)

But you can't do this:

Baz = NewType("Baz", Foo)

If you attempt to, Python won't throw any error, but mypy will complain:

error: Argument 2 to NewType(...) must be subclassable

This prevents a strict definition of a literal-based type: you either have to accept all values of the literal's type or you need to lose the type check benefits of NewType.

まず、Baz = NewType("Baz", Foo) の例と報告されたサブクラス化可能性のエラーを使って、mypy が NewType の第 2 引数をどのように検証し、Literal 型をどのように表現しているかを追跡します。Literal から派生した NewType に対して期待される型チェックの動作を定義し、その後、受け入れられる定義と型チェック上の利点を示すカバレッジを追加します。