array_udiff callback parameter types are not supported

[udavka]

Feature request

array_udiff callback parameter types are not supported, mixeds are required in the maximal validation mode.

For example, in this case: https://phpstan.org/r/9509075f-ec61-4eba-941d-a8835055f0d1 it says "Parameter #3 $data_comp_func of function array_udiff expects callable(mixed, mixed): int, Closure(int, int): int<-1, 1> given.".

[ondrejmirtes]

This is solvable by writing array_udiff stub here: https://github.com/phpstan/phpstan-src/blob/master/stubs/arrayFunctions.stub

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