Parameter #4 $params of function stream_filter_append expects array, int given.

[ppshobi]

Bug report

the following function accepts amixed $params.

function stream_filter_append($stream, string $filter_name, int $mode, mixed $params) {}

but getting the following error

Parameter #4 $params of function stream_filter_append expects array, int given.

Code snippet that reproduces the problem

$csvStream = \fopen('php://memory', 'w+');
if (!$csvStream) {
   throw new RuntimeException('Failed to open CSV memory stream');
}
fputcsv($csvStream, ["a",2,"c"]);
rewind($csvStream);
stream_filter_append($csvStream, 'zlib.deflate', STREAM_FILTER_WRITE, -1);

https://phpstan.org/r/bcfb9f4b-0a8d-4c97-8fb1-e50172c3c341

Expected output

No, Errors.

[staabm]

The signature of the function can be fixed in https://github.com/phpstan/phpstan-src/blob/d7e82b3ac52f42588b9fa5fe52374afff8f5ef25/resources/functionMap.php#L11715

[phpstan-bot]

@ppshobi After the latest push in 2.1.x, PHPStan now reports different result with your code snippet:

@@ @@
-PHP 8.0 – 8.1 (1 error)
-==========
-
-9: Parameter #4 $params of function stream_filter_append expects array, int given.
-
-PHP 7.1 – 7.4 (1 error)
-==========
-
-9: Parameter #4 $filterparams of function stream_filter_append expects array, int given.
+No errors

[ondrejmirtes]

Fixed by phpstan/phpstan-src#4125