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