===description===
not reported after instanceof this negated early return
===file===
<?php
abstract class A
{
    public function greet(): string { return ''; }

    public function equals(mixed $other): bool
    {
        if (! $other instanceof $this) {
            return false;
        }
        $other->greet();
        return true;
    }
}
===expect===
===ignore===
TODO
