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