1--TEST--
2Invalid type compatibility for write-only property
3--FILE--
4<?php
5
6class A {
7    public int|float $a { set {} }
8}
9class B extends A {
10    public int $a { set {} }
11}
12
13?>
14--EXPECTF--
15Fatal error: Declaration of B::$a::set(int $value): void must be compatible with A::$a::set(int|float $value): void in %s on line %d
16