1--TEST--
2Type inference 003: instanceof with unlinked class
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.optimization_level=-1
7--FILE--
8<?php
9class C implements I {
10    public static function wrap(\Throwable $e): C {
11        return $e instanceof C ? $e : new C($e->getMessage());
12    }
13}
14?>
15--EXPECTF--
16Fatal error: Uncaught Error: Interface "I" not found in %sinference_003.php:2
17Stack trace:
18#0 {main}
19  thrown in %sinference_003.php on line 2
20
21