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.

Beginne damit nachzuverfolgen, wie mypy das zweite Argument von NewType validiert und wie es Literal-Typen darstellt, anhand des Beispiels Baz = NewType("Baz", Foo) und des gemeldeten Fehlers zur Vererbbarkeit. Lege das erwartete Type-Checking-Verhalten für einen von Literal abgeleiteten NewType fest und füge anschließend Tests hinzu, die die akzeptierte Definition und ihre Vorteile beim Type-Checking zeigen.