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