Bug report

If the input can be an empty array, the output of array_merge(...$a) can also be an empty array.

But PHPStan assumes it won't be empty.

Code snippet that reproduces the problem

https://phpstan.org/r/f92011a8-c959-4559-9a01-520ba5089eb7

Expected output

The dumped type after array_merge(...$values) should include an empty array.

Did PHPStan help you today? Did it make you happy in any way?

No response