Support for non-emptiness check via match (count($array))

[vudaltsov]

https://psalm.dev/r/95773884b8

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/95773884b8

<?php

/**
 * @return non-empty-array
 */
function test(array $array): array
{
    return match (\count($array)) {
        0 => throw new \InvalidArgumentException,
        default => $array,
    };
}

Psalm output (using commit f1a8407):

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

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

[weirdan]

Fixed (in #7665?)