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