You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Documenting an array key as int|decimal-int-string normalizes to int, but the array_fill_keys result does not do this. This causes the following error: Property DecimalIntBug::$data (array<int, true>) does not accept array<int|decimal-int-string, true>.
Bug report
Documenting an array key as
int|decimal-int-stringnormalizes toint, but thearray_fill_keysresult does not do this. This causes the following error:Property DecimalIntBug::$data (array<int, true>) does not accept array<int|decimal-int-string, true>.Code snippet that reproduces the problem
https://phpstan.org/r/59050767-df09-451f-9f0f-e7901a6cda30
Expected output
I'd expect neither assignment to result in an error
Did PHPStan help you today? Did it make you happy in any way?
No response