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