Bogus certainty of empty array inside delayed-use closure

[dktapps]

Bug report

PHPStan cannot be certain of class field types inside a closure, regardless of whether they were initialized outside of the closure.

Code snippet that reproduces the problem

https://phpstan.org/r/f9c6e122-a753-4fdf-b729-a5523443e71d

Expected output

No error should be reported. By the time the closure is invoked, the array may contain something.

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

It's cool to see all the new stuff brought by 1.9

[rajyan]

I think I can get to work on this today.
Related PR’s
phpstan/phpstan-src#1934
phpstan/phpstan-src#1929
I think we need to invalidate all static expressions and $this at least, both for anonymous functions (which should be working except for use variable related expressions like this issue) and arrow functions (not invalidated now).
Not sure if there are other expressions that should be invalidated for delayed uses which are not static.

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