Bug report

As per title.

Code snippet that reproduces the problem

https://phpstan.org/r/39bbbf31-89cb-4835-9423-3e0dcd672244
https://3v4l.org/SoH1D

Expected output

An error should be reported on line 18, because self::$arr could be null thanks to the impure self::setup() call.