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

まず、issue の Python 再現コードを実行し、コンストラクターの直接呼び出しと中間の AnimalBox への代入を比較します。関数呼び出し時の反変 TypeVars に対するジェネリック型推論を調査します。直接の print_box(AnimalBox(animal)) のケースが中間の代入と一貫して受け入れられ、この挙動を対象とするリグレッションテストがあれば完了です。