non-empty-list conditionals regression

[vudaltsov]

https://psalm.dev/r/400bbb5a4a

This used to work earlier. I can figure out the exact version if needed.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/400bbb5a4a

<?php

/**
 * @param list $items
 * @return ($items is non-empty-list ? non-empty-list : list)
 */
function test(array $items): array
{
    return array_map(
        static fn (mixed $item): mixed => $item,
        $items,
    );
}

Psalm output (using commit bb28c5a):

INFO: LessSpecificReturnStatement - 9:12 - The type 'array<array-key, mixed>' is more general than the declared return type 'list<mixed>' for test

INFO: MoreSpecificReturnType - 5:12 - The declared return type 'list<mixed>' for test is more specific than the inferred return type 'array<array-key, mixed>'

[orklah]

May have changed in #8820

[boesing]

Most likely same issue as in #9917
TKeyedArray seems to lack not-empty functionality.

I tried this with psalm v5.8, v5.0 and 4.30 and none of these versions did actually supported this.