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.

Inizia ricostruendo come mypy convalida il secondo argomento di NewType e come rappresenta i tipi Literal, usando l'esempio Baz = NewType("Baz", Foo) e l'errore di subclassability segnalato. Definisci il comportamento atteso del controllo dei tipi per un NewType derivato da Literal, quindi aggiungi una coverage che mostri la definizione accettata e i relativi vantaggi per il controllo dei tipi.