1--TEST--
2Replacing not-loadable parent intersection type with loadable child intersection type
3--FILE--
4<?php
5
6// Let Y and Z be loadable.
7interface Y {}
8interface Z {}
9
10class Test {
11    function method(): X&Y {}
12}
13class Test2 extends Test {
14    function method(): Y&Z {}
15}
16
17?>
18===DONE===
19--EXPECTF--
20Fatal error: Could not check compatibility between Test2::method(): Y&Z and Test::method(): X&Y, because class X is not available in %s on line %d
21