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.

Beginne mit den Beispielen für sich überschneidende Typen im Issue und prüfe die aktuelle Diskussion, auf die dort verwiesen wird. Lege die beabsichtigte Semantik für einen Overlapping-Typ fest, einschließlich Unions, Literalen und nicht überlappenden Typen; als abgeschlossen gilt die Aufgabe, wenn Verhalten und Typisierungsregeln vereinbart sind.