Bug report

As per title.

This code causes an Error to be thrown in PHP, but PHPStan is happy with it.

https://3v4l.org/MAigb

Code snippet that reproduces the problem

https://phpstan.org/r/aca3a083-be53-401d-a12a-78be2fe35bec

Expected output

An error should be reported on line 7, since $class could be null and lead to an error.

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

No response