Union between array shape and 'normal' array gives some strange results

[BackEndTea]

Bug report

It appears the union between a shaped array and a 'normal' one tries to generalize some things where it shouldn't.

Code snippet that reproduces the problem

https://phpstan.org/r/4e6611d0-89ac-486d-8636-fb9a57c8cb4e

Expected output

No errors

[ondrejmirtes]

I'm happy with these results. What types would you expect?

[BackEndTea]

My problem is that any string key may now contain an array, instead of just the one key. Causing errors dor the function call

[ondrejmirtes]

I guess you're asking for a feature that doesn't exist yet. You want something like this for array shapes: https://www.typescriptlang.org/docs/handbook/2/objects.html#index-signatures

[mvorisek]

another repro: https://phpstan.org/r/ee626b1b-2f3f-4e46-8c8c-6dea65949a5d - it seems the intersect is completely ignored

related with #8438 as array shape is currently not sealed nor unsealed