Overlapping type

This is an rough idea from the recent discussion of whether to use object/Any or _KT for arguments of certain methods like pop or __sub__. E.g.:

class MyPoppable[KT, VT]:
    def pop(self, x: X) -> VT: ...

What should X be? Using KT (or KT | None) finds type errors like the following:

poppable: MyPoppable[str]
poppable.pop(123)

But has a problem with overlapping types:

def foo(x: int | str):
    poppable.pop(x)

On the other hand, using object doesn't catch type errors like poppable.pop(123).

The solution would be able to specify that any partially overlapping type would be accepted:

class MyPoppable[KT, VT]:
    def pop(self, x: Overlapping[KT]) -> VT: ...

MyPoppable[str]().pop() would accept str, str | None, Literal["x"], str | int, etc., but not e.g. plain int.

Bắt đầu với các ví dụ về kiểu chồng lấp trong issue và xem lại cuộc thảo luận gần đây mà chúng tham chiếu. Xác định ngữ nghĩa dự kiến cho một kiểu Overlapping, bao gồm unions, literal và các kiểu không chồng lấp; được coi là hoàn tất khi hành vi và các quy tắc định kiểu đã được thống nhất.