Bogus (?) InvalidArgument for class-string<Name> if Name is templated

[sad-spirit]

The docs say

You can also parameterize class-string with an object name e.g. class-string. This tells Psalm that any matching type must either be a class string of Foo or one of its descendants.

However, if the class has template defined a strange error if emitted when passing a child class to method with such a parameter

https://psalm.dev/r/41335c8656

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/41335c8656

<?php

class Foo
{
}

class FooChild extends Foo
{
}

/**
 * @template Item of Foo
 */
class Bar
{
}

/**
 * @extends Bar<FooChild>
 */
class BarFooChild extends Bar
{
}

/**
 * @param class-string<Bar> $className
 */
function takesClassName(string $className): void
{
    echo $className;
}

/**
 * @template T of Foo
 * @param class-string<Bar<T>> $className
 */
function takesClassNameWithTemplate(string $className): void
{
    echo $className;
}

takesClassName(BarFooChild::class);
takesClassNameWithTemplate(BarFooChild::class);

Psalm output (using commit 765dcbf):

ERROR: InvalidArgument - 42:16 - Argument 1 of takesClassName expects class-string<Bar<Foo>>, but BarFooChild::class provided