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