Bug report

See snippet.

Code snippet that reproduces the problem

https://phpstan.org/r/d6f5ad82-b5eb-41b0-baa0-9cba71f7f520

Expected output

No error, properly ignore line 3 (includes code)

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

No response