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

Chưa xác định được tệp triển khai, bài kiểm thử hoặc entry point nào. Hãy bắt đầu bằng việc xem xét đề xuất về giá trị sentinel và cuộc thảo luận về typeshed được đề cập trong đó, sau đó xác định cú pháp và ngữ nghĩa nào nên được chấp nhận. Điều kiện hoàn tất là có một thiết kế đã được thống nhất cùng với phần triển khai và các bài kiểm thử tương ứng, nhưng issue không định nghĩa những chi tiết đó.