1--TEST-- 2Intersection type reduction invalid invariant type check 3--FILE-- 4<?php 5 6interface X {} 7interface Y {} 8class A implements X, Y {} 9class B {} 10 11class Test { 12 public (X&Y)|B $prop; 13} 14class Test2 extends Test { 15 public A|B $prop; 16} 17 18?> 19===DONE=== 20--EXPECTF-- 21Fatal error: Type of Test2::$prop must be (X&Y)|B (as in class Test) in %s on line %d 22