1--TEST--
2Commutative intersection types
3--FILE--
4<?php
5
6interface A {}
7interface B {}
8
9class Foo {
10    public A&B $prop;
11    public function foo(A&B $v): A&B {}
12}
13
14class FooChild extends Foo {
15    public B&A $prop;
16    public function foo(B&A $v): B&A {}
17}
18
19?>
20===DONE===
21--EXPECT--
22===DONE===
23