# Bug report PHPStan incorrectly thinks that `is_subclass_of` will always return true. ### Code snippet that reproduces the problem https://phpstan.org/r/0f0d4b9f-650a-4820-a7f7-783076a06be9 ### Expected output No error.