1--TEST--
2readonly property does not satisfy get/set interface property
3--DESCRIPTION--
4The error message should be improved, the set access level comes from readonly.
5--FILE--
6<?php
7interface I {
8    public int $prop { get; set; }
9}
10class C implements I {
11    public function __construct(public readonly int $prop) {}
12}
13?>
14--EXPECTF--
15Fatal error: Set access level of C::$prop must be omitted (as in class I) in %s on line %d
16