Bug report

Since we are not accessing the array, the code should not be reported as an error.

Code snippet that reproduces the problem

https://phpstan.org/r/12037334-4efe-45a4-8b86-9cd81eee6a21

Expected output

No error

Did PHPStan help you today? Did it make you happy in any way?

No response