Template params not allowing extending other template params

[ricardoboss]

I would expect the following to work:

https://psalm.dev/r/0d2844a23d

Is this a supported use case?

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/0d2844a23d

<?php

/**
 * @template T of object
 * @template U of T
 */
class A {
    /**
     * @param U $o
     */
    public function dump(object $o): void
    {
        print_r($o);
    }
}

interface B {}
interface C extends B {}

class D implements C {}

$d = new D();

/** @var A<B, C> */
$a = new A();
$a->dump($d);

Psalm output (using commit a9f4148):

ERROR: InvalidTemplateParam - 25:1 - Extended template param U of A<B, C> expects type T:A as object, type C given

[AndrolGenhald]

Using a template as a template constraint is pretty broken right now, see also #7764 and #7549.

[castletheperson]

This appears to be fixed now. When I open the snippet in the first comment, running Psalm from the current commit (765dcbf) produces "No Issues!"

Which version was this fixed in? I'm dealing with the same issue in version 5.13.1