由于在通用类中记录了协议符合性检查,导致依赖于订单的过载解析失败

T_contra = TypeVar("T_contra", contravariant=True) T = TypeVar("T") S = TypeVar("S") S_contra = TypeVar("S_contra", contravariant=True)

class ElementOpsMixin(Generic[S]): @overload def _proto_add(self: "ElementOpsMixin[bool]", other: bool, /) -> "ElementOpsMixin[bool]": ... @overload def _proto_add(self: "ElementOpsMixin[int]", other: int, /) -> "ElementOpsMixin[int]": ... def _proto_add(self, other: object, /) -> object: return self