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

Bắt đầu bằng cách chạy bản tái hiện bằng Python từ issue và so sánh lệnh gọi trực tiếp đến constructor với phép gán AnimalBox trung gian. Điều tra việc suy luận kiểu generic cho các TypeVars phản biến trong quá trình gọi hàm. Hoàn thành khi trường hợp trực tiếp print_box(AnimalBox(animal)) được chấp nhận nhất quán với phép gán trung gian và có một regression test bao quát hành vi này.