Offset does not exist on multidimensional array in very specific circumstances

[shorsman]

Bug report

I had an offset reported as not exisiting right after assigning a value to that offset, but only in very specific circumstances.
See code snippet below. I added comments to show when the error does or doesn't occur

Code snippet that reproduces the problem

https://phpstan.org/r/c7ca6a8c-387d-40a2-b18a-360e473e2783

Expected output

No errors

[phpstan-bot]

@shorsman After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-26: Offset 'cat3' does not exist on array('cat1' => 'blah1', 'cat2' => 'blah2', ?'cat3' => 'blah3').
+No errors

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.