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
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