PHPStan loses type information after null coalescing on array with 63 or more properties

[RobertoGeuke]

Bug report

After null coalescing PHPStan loses type information on all other properties of the array. The new type of those properties becomes a union of all used types in the array (e.g. bool|int|string|null). This error only happens when the array contains 63 or more properties. See snippet for more information.

Code snippet that reproduces the problem

https://phpstan.org/r/9926eff3-05d8-4444-8510-1ed26a8368d1

Expected output

PHPStan should remember the type of all properties in the array, regardless of usage of null coalescing or amount of properties.

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

PHPStan helps us a lot during our daily work 😀

[ondrejmirtes]

I rewrote the example to be a bit more obvious what's expected there (edited your description).

[EmielM]

This is currently a blocker for a larger typing project here at Crisp. Is there anything we can do to help out with the "Easy fix", @ondrejmirtes :)? Do you plan on simply increasing some constant that defines this behavior? Thank you!

[ondrejmirtes]

Fixed phpstan/phpstan-src#3032