===description===
mixed variance two params invariant mismatch
===file===
<?php
/**
 * @template K
 * @template-covariant V
 */
class Pair {}
class Animal {}
class Cat extends Animal {}
/** @param Pair<string, Animal> $p */
function f(Pair $p): void { var_dump($p); }
function test(): void {
    /** @var Pair<int, Cat> $p */
    $p = new Pair();
    f($p);
}
===expect===
InvalidArgument@14:6: Argument $p of f() expects 'Pair<string, Animal>', got 'Pair<int, Cat>'
===ignore===
TODO
