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