Bug report

The nullsafe operator (?->) short-circuits if the left operand is null, i.e. the rest of the chain is not evaluated. However, PHPStan seems to report "might be null" errors on the subsequent expressions.

Code snippet that reproduces the problem

https://phpstan.org/r/ef1aa26d-079b-4032-8e0a-f6b50fd3e5cb

Expected output

No error, it's valid code.