Bug report

Typed array loses types after array_map

Code snippet that reproduces the problem

https://phpstan.org/r/8ba9916a-b2a8-45a7-9f6a-a137bef542a6

Expected output

No errors.

Did PHPStan help you today? Did it make you happy in any way?

No response