False-positive `InvalidTemplateParam` with `@template-covariant T` when a callable parameter accepts `T` about psalm HOT 3 OPEN

<?php

/**
 * @template-covariant T
 */
class Example
{
    /**
     * @param T $value
     */
    function __construct(private mixed $value)
    {}
    
    /**
     * @param callable(T):void $callback 
     */
    function call(callable $callback): void
    {
    	$callback($this->value);
    }
}

<?php

/**
 * @template-covariant T
 */
class Example
{
    /**
     * @param T $value
     */
    function __construct(private mixed $value)
    {}
    
    /**
     * @psalm-suppress InvalidTemplateParam
     * @param callable(T):void $callback 
     */
    function call(callable $callback): void
    {
    	$callback($this->value);
    }
}

class Animal {}
class Cat extends Animal {}
class Dog extends Animal {}

/** @psalm-suppress UnusedClosureParam */
function exampleWithObjects(): void
{
    $example = new Example(new Cat());
    
    $example->call(function (Animal $animal) {});
    $example->call(function (Cat $animal) {});
    $example->call(function (Dog $animal) {}); // OK (expected error)
}

/**
 * @param Cat[] $cats
 * @param callable(Animal[]):void $takesAnimals
 * @param callable(Cat[]):void $takesCats
 * @param callable(Dog[]):void $takesDogs
 */
function exampleWithArrays(
    array $cats,
    callable $takesAnimals,
    callable $takesCats,
    callable $takesDogs,
): void {
    $example = new Example($cats);
    
    $example->call($takesAnimals);
    $example->call($takesCats);
    $example->call($takesDogs); // OK (expected error)
}


/**
 * @param \ArrayObject<int, Cat> $cats
 * @param callable(\ArrayObject<int, Animal>):void $takesAnimals
 * @param callable(\ArrayObject<int, Cat>):void $takesCats
 * @param callable(\ArrayObject<int, Dog>):void $takesDogs
 */
function exampleWithArrayObjects(
    \ArrayObject $cats,
    callable $takesAnimals,
    callable $takesCats,
    callable $takesDogs,
): void {
    $example = new Example($cats);
    
    $example->call($takesAnimals); // OK (expected error)
    $example->call($takesCats);
    $example->call($takesDogs);  // OK (expected error)
}