array_map doesn't infer an array type

[BenoitDuffez]

I'm running PHP 7.4 on Linux. I have the following code to reproduce my issue: https://phpstan.org/r/8e3982eb-725f-4511-840d-42ab718eecf1

I had expected that since $data is properly annotated, the array_map call would infer the type of each item in the closure.

Is it a wrong expectation on my end, wrong annotations, or something else?

Thanks

[ondrejmirtes]

Hi, this is expected since we don' know how the arrow function in $rowToString will be used.

If you move the declaration directly into the array_map call it works as you want it to: https://phpstan.org/r/4a331a70-2f73-4396-9f14-71fc0f2ac2e9 (I also had to modify the $data PHPDoc as the arrays weren' exactly the same)

[BenoitDuffez]

Thank you. I had tried that already but for some reason it didn't work.
I could not reproduce in the playground, but it still doesn't work in my IDE and it doesn't work in CLI either.
It says:

Parameter #1 $row of method App\Service\XXX::getRow() expects
         array('gateway' => array('id' => int, 'sn' => string), 'operations' => array<string,
         array<array('id' => int, 'date_time' => string, 'success' => bool, 'instance_id' => int, 'instance_name' =>
         string, 'nb_ops' => int|null, 'dto' => string)>>), array given.

Code at line is:

return array_map(fn(array $row): array => $this->getRow($row, $single), $data);

I'm using 0.12.88 installed with composer through symfony.

[ondrejmirtes]

This can't work before 0.12.91. Always run the latest version.

[BenoitDuffez]

Oh man I'm so sorry. 0.12.92 working like a charm.

Thank you for the fast support and for this tool. Have a nice one.