False error after array + operator and key assignment

[blankse]

Bug report

I have a false error when I use the + operator with an array and afterwards an key assignment.

Code snippet that reproduces the problem

https://phpstan.org/r/8abf5a8e-16f4-4891-aeb8-9dc8a054e20a

Expected output

No error

[phpstan-bot]

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

@@ @@
-11: Offset 'operator' does not exist on array('value' => (int|false)).
+11: Offset 'operator' does not exist on array{value: (int|false)}.

Full report

Line	Error
11	`Offset 'operator' does not exist on array{value: (int

[phpstan-bot]

@blankse After the latest push in 1.8.x, PHPStan now reports different result with your code snippet:

@@ @@
-11: Offset 'operator' does not exist on array('value' => (int|false)).
+No errors

[staabm]

on it

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