1--TEST--
2Intersection type reduction valid invariant type check
3--FILE--
4<?php
5
6class A {}
7class B extends A {}
8interface X {}
9
10class Test {
11 public (A&B)|X $prop;
12}
13class Test2 extends Test {
14 public B|X $prop;
15}
16
17?>
18===DONE===
19--EXPECT--
20===DONE===
21
