1--TEST--
2Infinite recursion in unlinked_instanceof()
3--FILE--
4<?php
5interface I {}
6spl_autoload_register(function() {
7    class X {
8        function test(): I {}
9    }
10    class Y extends X {
11        function test(): C {}
12    }
13});
14class C extends Z implements C {}
15?>
16--EXPECTF--
17Fatal error: Declaration of Y::test(): C must be compatible with X::test(): I in %s on line %d
18