False-positive `InvalidArgument` when calling methods on a different instance of a generic class about psalm HOT 1 OPEN

<?php

/**
 * @template T
 */
class Example
{
    /** @param T $value */
	function __construct(private mixed $value) {}
    
    /** @return T */
    function getValue(): mixed
    {
        return $this->value;
    }
    
    /** @param T $value */
    function setValue(mixed $value): void
    {
    	$this->value = $value;
    }

    /**
     * @template T2
     * @param self<T2> $another
     */
    function example(self $another): void
    {
        /** @psalm-trace $anotherValue */
        $anotherValue = $another->getValue();
        
        $another->setValue($anotherValue); // expects T, but should expect T2
    }
}

<?php

/**
 * @template T
 * @psalm-consistent-constructor
 * @psalm-consistent-templates
 */
class Collection
{
    /** @param list<T> $values */
    function __construct(private array $values = [])
    {
    }
    
    /** @param T $value */
    function add(mixed $value): void
    {
        $this->values[] = $value;
    }
    
    /**
     * @param positive-int $size
     * @return self<static<T>>
     */
    function chunk(int $size): self
    {
        /**
         * @var self<static<T>> $chunks
         * @psalm-trace $chunks
         */
        $chunks = new self();

        foreach (\array_chunk($this->values, $size) as $chunk) {
            /** @psalm-trace $chunk */
            $chunk = new static($chunk);
            
            $chunks->add($chunk); // expects T, but should expect static<T>
        }

        return $chunks;
    }
}