Bug report

I mostly want to know if this is the intended behavior for this warning or if this is a bug.

The reason I think it's a bug is because there is now warning or notice from php it self

Code snippet that reproduces the problem

https://phpstan.org/r/0db2cb6e-df24-4cbe-85ec-a85edc7d5c71

Expected output

No error should be reported.