False negative: Use of variable in type expression is not reported if its type is a TypeVar or Self

[erictraut]

The typing spec says that variables cannot be used within type expressions, but pyright fails to report an error in some cases.

class A:
    @classmethod
    def m1(cls):
        a: cls

    def m2(self):
        a: self

By contrast, mypy correctly flags these errors.