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

Empieza ejecutando la reproducción en Python del issue y compara la llamada directa al constructor con la asignación intermedia a AnimalBox. Investiga la inferencia de tipos genéricos para TypeVars contravariantes durante las llamadas a funciones. Se considera terminado cuando el caso directo print_box(AnimalBox(animal)) se acepta de forma coherente con la asignación intermedia y hay una prueba de regresión que cubre este comportamiento.