Bug report

I get an unexpected error with array-shapes

Code snippet that reproduces the problem

https://phpstan.org/r/d1094b4c-183b-4994-ba3d-72ee46ff8c92

Expected output

no error - like in psalm

simplifiy the above script by deleting the only?: part to https://phpstan.org/r/995d9bee-6c88-4b64-b954-15148aabc789 makes the error disappear

if relevant - in psalm this works without errors https://psalm.dev/r/6d2c80f57a