1--TEST--
2Hooked properties cannot be readonly
3--FILE--
4<?php
5
6class Test {
7    public readonly int $prop { get; set; }
8}
9
10?>
11--EXPECTF--
12Fatal error: Hooked properties cannot be readonly in %s on line %d
13