Summary of a problem or a feature request

The type inference from the result of array_map seems wrong.

Code snippet that reproduces the problem

https://phpstan.org/r/b8dbc80d-ded7-42e4-9ed5-db6d8d795eb0

Expected output

No error.