1--TEST--
2readonly property does not satisfy get/set abstract property
3--FILE--
4<?php
5abstract class P {
6    protected abstract int $prop { get; set; }
7}
8class C extends P {
9    public function __construct(protected readonly int $prop) {}
10}
11?>
12--EXPECTF--
13Fatal error: Class C contains 1 abstract method and must therefore be declared abstract or implement the remaining methods (P::$prop::set) in %s on line %d
14