Invalid infer generic type for contravariant TypeVar inside function call

from typing import Generic, TypeVar


T_contra = TypeVar('T_contra', contravariant=True)


class Animal:
    pass


class Cat(Animal):
    pass


class AnimalBox(Generic[T_contra]):
    def __init__(self, animal: T_contra):
        pass


def print_box(a: AnimalBox[Cat]):
    pass


animal = Animal()

print_box(AnimalBox(animal))  # error: Argument 1 to "AnimalBox" has incompatible type "Animal"; expected "Cat"

box = AnimalBox(animal)
print_box(box)  # OK

Reproduces only on contravariants. Covariants seems to be OK.
Tested on: mypy-0.680+dev.69eaf88a0b03e9f491cc22534c2d30f1d21832b2

Inizia eseguendo la riproduzione Python dell’issue e confronta la chiamata diretta al costruttore con l’assegnazione intermedia a AnimalBox. Analizza l’inferenza dei tipi generici per i TypeVars controvarianti durante le chiamate di funzione. Il lavoro è completato quando il caso diretto print_box(AnimalBox(animal)) viene accettato in modo coerente con l’assegnazione intermedia e un test di regressione copre questo comportamento.