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