1--TEST--
2Instanceof checks in VERIFY_RETURN_TYPE optimization may deal with unlinked classes
3--FILE--
4<?php
5interface foo { }
6
7interface biz {}
8
9class qux implements foo {
10    public function bar(): biz {
11        $x = $this;
12        return $x;
13    }
14}
15
16?>
17===DONE===
18--EXPECT--
19===DONE===
20