Literal for sentinel values

This came up python/typeshed#3521: Currently I can't think of a way to type sentinel values that are often constructed by allowing a certain instance of object as the argument. For the example above it would be useful to be able to do something like this:

class PSS(AsymmetricPadding):
    MAX_LENGTH: ClassVar[object]
    def __init__(self, mgf: MGF1, salt_length: Union[int, Literal[MAX_LENGTH]]) -> None: ...

Alternatively we could add a type like Singleton type to typing:

class PSS(AsymmetricPadding):
    MAX_LENGTH: Singleton
    def __init__(self, mgf: MGF1, salt_length: Union[int, MAX_LENGTH]) -> None: ...

Non sono stati identificati file di implementazione, test o punti di ingresso. Inizia esaminando la proposta sui valori sentinella e la discussione di typeshed a cui fa riferimento, quindi determina quale sintassi e semantica dovrebbero essere accettate. Per considerare il lavoro completato, sono necessari un design concordato, nonché l’implementazione e i test corrispondenti, ma l’issue non definisce questi dettagli.