1--TEST-- 2set $value parameter variance 3--FILE-- 4<?php 5 6interface X {} 7interface Y extends X {} 8 9class A { 10 public Y $prop { 11 set(X $prop) {} 12 } 13} 14 15class B extends A { 16 public Y $prop { 17 set(Y $prop) {} 18 } 19} 20 21?> 22--EXPECTF-- 23Fatal error: Declaration of B::$prop::set(Y $prop): void must be compatible with A::$prop::set(X $prop): void in %s on line %d 24