Invariant class is incompatible with its base class in contravariant context

[LeeeeT]

The following code gives me an error:

from typing import TypeVar, Generic

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

class Contra(Generic[T_contra]): ...

class Foo(Generic[T]): ...

class Bar(Foo[T]): ...

v: Contra[Bar[int]] = Contra[Foo[int]]()  # error here

test.py:12:23 - error: Expression of type "Contra[Foo[int]]" cannot be assigned to declared type "Contra[Bar[int]]"
    "Contra[Foo[int]]" is incompatible with "Contra[Bar[int]]"
      TypeVar "T_contra@Contra" is contravariant
        "Bar[int]" is incompatible with "Foo[int]"
          TypeVar "T@Foo" is invariant
            Type "int" cannot be assigned to type "T@Bar"

Pyright says that Bar[int] is incompatible with Foo[int], which is obviously incorrect. If I extract Bar[int] and Foo[int] from Contra pyright actually allows assigning Bar[int] to Foo[int]:

v: Foo[int] = Bar[int]()  # no errors

So I think something is going wrong specifically in contravariant context which makes pyright unable to bind int to T@Bar.

Additional context
pyright 1.1.290

[erictraut]

Thanks for the bug report. This will be fixed in the next release.

[erictraut]

This is included in pyright 1.1.291, which I just published. It will also be included in a future release of pylance.