Result of array_merge cannot be used as ?array<mixed> parameter.

[udavka]

Bug report

Result of array_merge cannot be used as ?array<mixed> parameter.

Code snippet that reproduces the problem

https://phpstan.org/r/095f848e-b259-40c2-bf02-049c925b7299

Expected output

No error

[puniserv]

array_merge never returns null, why you expecting null?

[udavka]

It's just a minimal executable excerpt from a real code.
It can be like this: https://phpstan.org/r/8935a1ef-cbb7-4d8d-9c8d-f16f0f90d63b

Anyway, if a function accepts ?array<mixed>, it must be able to accept array<mixed>, and the PHPStan error must not be generated.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@9f12f0f

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.