array|list with count, unable to infer type correctly

[kkmuffme]

Basic case: https://psalm.dev/r/9e4abcd9ee

Separate counts makes even less sense: https://psalm.dev/r/565da938eb

[psalm-github-bot[bot]]

I found these snippets:

https://psalm.dev/r/9e4abcd9ee

```php $arg * @return void */ function foo( $arg ) { $new = $arg; $count = count($arg); if ($count > 1 ) { $arg = array_filter($arg, 'is_int'); } $arg = array_values($arg); /** @psalm-trace $arg */; if ($count > 1 && $new !== $arg) { /** @psalm-trace $new */; } } ``` ``` Psalm output (using commit 7029e76): INFO: Trace - 14:29 - $arg: list INFO: Trace - 17:33 - $new: list ```

https://psalm.dev/r/565da938eb

```php $arg * @return void */ function foo( $arg ) { $new = $arg; if (count($arg) > 1 ) { $arg = array_filter($arg, 'is_int'); } $arg = array_values($arg); /** @psalm-trace $arg */; if (count($new) > 1 && $new !== $arg) { /** @psalm-trace $new */; } } ``` ``` Psalm output (using commit 7029e76): INFO: Trace - 13:29 - $arg: list INFO: Trace - 16:33 - $new: list{0?: int|string, 1?: int|string, ..., int|string>} ```