Parameter #4 $replacement of function array_splice expects array|string

[spawnia]

Bug report

Parameter #4 $replacement of array_splice() is reported as array|string, it should be mixed through, see https://www.php.net/manual/en/function.array-splice.php

Code snippet that reproduces the problem

https://phpstan.org/r/47c75bff-cfa4-417c-b4dc-070d23b46d89

Expected output

No error, the code snippet works as expected: https://3v4l.org/aieOR

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

It allowed me to delete around 200 lines of redundant code.

[herndlm]

If you want to fix this yourself - https://github.com/phpstan/phpstan-src/blob/master/resources/functionMap.php#L305 should be the place to look at

[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.