No error when adding list to array of non-empty-list

[MoonE]

There should be a warning when adding a list to an array of non-empty-lists
https://psalm.dev/r/7ddbfc99b9

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/7ddbfc99b9

<?php
class A {
    /**
     * @psalm-var array<int, non-empty-list<string>>
     */
    private array $l = [];

    /** @psalm-param list<string> $v */
    public function addResult(array $v): void {
        $this->l[] = $v;
        /** @psalm-trace $v $this->l */
    }
}

Psalm output (using commit fd4f7b7):

INFO: Trace - 11:0 - $v: list<string>

INFO: Trace - 11:0 - $this->l: non-empty-array<int, non-empty-list<string>>

[robchett]

Simpler case and proof that type info is lost in both directions

https://psalm.dev/r/e97c284178

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e97c284178

<?php
/** @var array<int, array<never, never>> $a*/
$a = [[]];
$a[] = ['A'];
// $a should be non-empty-array<int, list<string>>

/** @var array<int, non-empty-list<string>> $b*/
$b = [['A']];
$b[] = [];
// $b should be non-empty-array<int, list<string>>

/** @psalm-trace $a $b */
return [$a, $b];

Psalm output (using commit 5370492):

INFO: Trace - 13:1 - $a: non-empty-array<int, list{'A'}>

INFO: Trace - 13:1 - $b: non-empty-array<int, non-empty-list<string>>

[weirdan]

Fixed in #9787 (I assume)