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

Commencez par reproduire les deux extraits Python avec mypy 0.761 et comparez l’effet des deux annotations de retour de abs sur l’appel abs(x). Suivez le parcours de vérification des types pour SupportsAbs et les bornes de TypeVar ; c’est terminé lorsque la version annotée ne produit aucune erreur incompatible-argument contrairement à la version non annotée.