Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/88315aa5-a55d-43a7-a6b8-7e337155f16d

Expected output

No error should be reported.

I can work around this, but I just thought it was strange that PHPStan doesn't understand this code.