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