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

まず、両方の Python スニペットを mypy 0.761 で再現し、2 つの abs の戻り値アノテーションが abs(x) の呼び出しにどのような影響を与えるかを比較します。SupportsAbs と TypeVar の境界に対する型チェックの経路を追跡します。アノテーション付きのバージョンが、アノテーションなしのバージョンのような incompatible-argument エラーを生成しなくなれば完了です。