--TEST--
Instanceof checks in VERIFY_RETURN_TYPE optimization may deal with unlinked classes
--FILE--
<?php
interface foo { }

interface biz {}

class qux implements foo {
    public function bar(): biz {
        $x = $this;
        return $x;
    }
}

?>
===DONE===
--EXPECT--
===DONE===