psalm expects the third parameter of array_udiff() to be an array but it must be a callable

[botzkobg]

It seems that psalm expects the third parameter of array_udiff() to be an array but it must be a callable.

Example Code:

<?php

$compare = fn(int $left, int $right): int => $left <=> $right;

$leftArray = [1, 2, 3, 4];
$rightArray = [1, 3, 4, 5];

print_r(array_udiff($leftArray, $rightArray, $compare));

Error message

ERROR: InvalidArgument - src/test.php:8:46 - Argument 3 of array_udiff expects array<array-key, mixed>, but pure-Closure(int, int):(-1|0|1) provided (see https://psalm.dev/004)
print_r(array_udiff($leftArray, $rightArray, $compare));

[botzkobg]

Link to reproduce: https://psalm.dev/r/9f1b112907

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/9f1b112907

<?php

$compare = fn(int $left, int $right): int => $left <=> $right;

$leftArray = [1, 2, 3, 4];
$rightArray = [1, 3, 4, 5];

print_r(array_udiff($leftArray, $rightArray, $compare));

Psalm output (using commit a17fdd7):

ERROR: InvalidArgument - 8:46 - Argument 3 of array_udiff expects array<array-key, mixed>, but pure-Closure(int, int):(-1|0|1) provided

[danog]

Was super sure there was a parameter type provider for this, will fix...

[botzkobg]

Thank you @danog.

Just to let you know that while you there you should also fix array_uintersect(). It produces the same error.

Snippet: https://psalm.dev/r/25ab3bae89

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/25ab3bae89

<?php

$compare = fn(int $left, int $right): int => $left <=> $right;

$leftArray = [1, 2, 3, 4];
$rightArray = [1, 3, 4, 5];

print_r(array_uintersect($leftArray, $rightArray, $compare));

Psalm output (using commit a17fdd7):

ERROR: InvalidArgument - 8:51 - Argument 3 of array_uintersect expects array<array-key, mixed>, but pure-Closure(int, int):(-1|0|1) provided