1--TEST--
2Relaxed type compatibility for read-only and write-only properties
3--FILE--
4<?php
5
6class A {
7    public int|float $a { get { return 42.0; } }
8    public int $b { set { } }
9}
10class B extends A {
11    public int $a { get { return 42; } }
12    public int|float $b { set { } }
13}
14
15?>
16===DONE===
17--EXPECT--
18===DONE===
19