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: ...

Aucun fichier d’implémentation, test ou point d’entrée n’est identifié. Commencez par examiner la proposition relative aux valeurs sentinelles et la discussion de typeshed à laquelle elle fait référence, puis déterminez quelle syntaxe et quelle sémantique devraient être acceptées. Pour considérer la tâche comme terminée, il faut disposer d’une conception approuvée ainsi que de l’implémentation et des tests correspondants, mais l’issue ne définit pas ces détails.