Specifying the return type of `__abs__` to be a `TypeVar` causes `expected "SupportsAbs[<nothing>]` error

Specifying the return type of __abs__ to be a TypeVar causes expected "SupportsAbs[<nothing>] error

The following works fine:

from typing import TypeVar


T = TypeVar("T", bound="Number")


class Number:
    def __abs__(self: T):
        return self

    def square(self: T) -> T:
        return self


def myabs(x: T) -> T:
    return abs(x)


x = myabs(Number())
x.square()

But this produces an error:

from typing import TypeVar


T = TypeVar("T", bound="Number")


class Number:
    def __abs__(self: T) -> T:
        return self

    def square(self: T) -> T:
        return self


def myabs(x: T) -> T:
    return abs(x)


x = myabs(Number())
x.square()

• What is the actual behavior/output?

error: Argument 1 to "abs" has incompatible type "T"; expected "SupportsAbs[<nothing>]"

• What is the behavior/output you expect?

No error, like in the first example.

• What are the versions of mypy and Python you are using?

Python 3.6 and MyPy 0.761

Bắt đầu bằng cách tái hiện cả hai đoạn mã Python bằng mypy 0.761 và so sánh cách hai chú thích giá trị trả về của abs ảnh hưởng đến lệnh gọi abs(x). Theo dõi đường đi kiểm tra kiểu đối với SupportsAbs và các giới hạn của TypeVar; hoàn tất khi phiên bản có chú thích không tạo ra lỗi incompatible-argument như phiên bản không có chú thích.