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