False-positive `InvalidArgument` when calling methods on a different instance of a generic class

[Shira-3749]

When calling methods on a different instance of the same generic class, the argument types aren't resolved correctly:

• https://psalm.dev/r/b4c4f99a60 (minimal issue repro)
• https://psalm.dev/r/a5a7b5ed21 (more realistic use-case)

[psalm-github-bot[bot]]

I found these snippets:

https://psalm.dev/r/b4c4f99a60

```php value; } /** @param T $value */ function setValue(mixed $value): void { $this->value = $value; } /** * @template T2 * @param self $another */ function example(self $another): void { /** @psalm-trace $anotherValue */ $anotherValue = $another->getValue(); $another->setValue($anotherValue); // expects T, but should expect T2 } } ``` ``` Psalm output (using commit ef3b018): INFO: Trace - 30:9 - $anotherValue: T2:fn-example::example as mixed ERROR: InvalidArgument - 32:28 - Argument 1 of Example::setValue expects T:Example as mixed, but T2:fn-example::example as mixed provided ```

https://psalm.dev/r/a5a7b5ed21

```php $values */ function __construct(private array $values = []) { } /** @param T $value */ function add(mixed $value): void { $this->values[] = $value; } /** * @param positive-int $size * @return self> */ function chunk(int $size): self { /** * @var self> $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 } return $chunks; } } ``` ``` Psalm output (using commit ef3b018): INFO: Trace - 31:9 - $chunks: Collection&static> INFO: Trace - 35:13 - $chunk: Collection&static ERROR: InvalidArgument - 37:26 - Argument 1 of Collection::add expects T:Collection as mixed, but Collection&static provided ```