PHP8 array_uintersect false positive

[Jurigag]

Bug report

When using array_uintersect in PHP8 phpstan returns error:

Parameter #3 ...$rest of function array_uintersect expects array, string given.

However the same error is not returned when using PHP7. Also what is interesting here https://3v4l.org/4MMeU that reflection api reports other parameters of the function for PHP 8, maybe it's actually PHP bug?

Code snippet that reproduces the problem

<?php declare(strict_types = 1);

$array1 = array("a" => "green", "b" => "brown", "c" => "blue", "red");
$array2 = array("a" => "GREEN", "B" => "brown", "yellow", "red");

print_r(array_uintersect($array1, $array2, "strcasecmp"));

Here is link to playground - https://phpstan.org/r/fe236064-884e-48ae-bd28-fbd452c9ec7c

Expected output

No errors!

[Jurigag]

I've also created bug here https://bugs.php.net/bug.php?id=80736 because it seems like php8 bug actually.

[ondrejmirtes]

Hi, this function is really weird so I'm not surprised it broke. It has a variadic parameter that's not its last parameter, which cannot be achieved by userland functions.

[Jurigag]

@ondrejmirtes someone answered on bug page and it seems intended way so i guess phpstan would need to somehow figure this out?

[ondrejmirtes]

Fixed: phpstan/phpstan-src@7bc35cd

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