array keys type is lost through callable function call

[Geekimo]

Bug report

We are currently facing an issue with the following code.
We are loosing the array keys through the function which calls our callable.
The value type is ok.

Code snippet that reproduces the problem

https://phpstan.org/r/3242b627-8e7a-4b49-b863-d1ed2a8abe62

Expected output

There should be no error.

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

Everyday. It helps us keep our code safe.

[ondrejmirtes]

Last night I came up with the idea that we mostly shouldn't generalize the generic type variables, except when they're in object generics, like Foo<int>.

Here's the resulting PR: phpstan/phpstan-src#2818

We can't do this for objects, because I want new Collection([1, 2, 3]) to become Collection<int>. This could be improved in the future thanks to this suggestion: #6732 (comment) (but it's pretty complex to implement so for now it has to wait).

The new behaviour now only applies to bleeding edge (https://phpstan.org/blog/what-is-bleeding-edge) so definitely enable it to get the taste of the future 👍

[Geekimo]

Thanks Ondrej.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.