Incompatible types when a list is expected in a compound type and Psalm type inference produces a list shape instead

[emmanuelGuiton]

In the following snippet, a function takes a parameter typed T<list<V>>. Psalm throws an error if we pass a valid variable that has just been initialized from a constant list of values. Psalm interprets the list type as a list shape T<list{V}> and considers it incompatible with the expected type T<list<V>>.

https://psalm.dev/r/86f88fbdda

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/86f88fbdda

<?php

/** @template T */
class AClass {
    /** @psalm-param T $value */
    public function __construct(public $value) { }
}

class AnotherClass {}

/**
 * @psalm-param AClass<list<AnotherClass>> $aClassInstance
 * @psalm-suppress UnusedParam
 */
function aFunction(AClass $aClassInstance): void {
}

aFunction(new AClass([new AnotherClass()]));

/** @psalm-return list<AnotherClass> */
function aList(): array {
     return [new AnotherClass()];
}
aFunction(new AClass(aList()));

Psalm output (using commit 765dcbf):

ERROR: InvalidArgument - 18:11 - Argument 1 of aFunction expects AClass<list<AnotherClass>>, but AClass<list{AnotherClass}> provided