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

Commencez par exécuter la reproduction Python de l’issue et comparez l’appel direct au constructeur avec l’affectation intermédiaire à AnimalBox. Étudiez l’inférence des types génériques pour les TypeVars contravariables lors des appels de fonctions. Le travail est terminé lorsque le cas direct print_box(AnimalBox(animal)) est accepté de manière cohérente avec l’affectation intermédiaire, avec un test de régression couvrant ce comportement.