1--TEST--
2Cannot replace readwrite with readonly
3--FILE--
4<?php
5
6class A {
7    public int $prop;
8}
9class B extends A {
10    public readonly int $prop;
11}
12
13?>
14--EXPECTF--
15Fatal error: Cannot redeclare non-readonly property A::$prop as readonly B::$prop in %s on line %d
16