1--TEST--
2Bug 001
3--FILE--
4<?php
5
6abstract class A {
7    abstract public $x { get; }
8}
9
10class C extends A {
11    private $_x;
12    public $x {
13        get => $this->_x;
14    }
15}
16
17var_dump((new ReflectionProperty(C::class, 'x'))->isVirtual());
18
19$c = new C;
20
21try {
22    $c->x = 3;
23} catch (Error $e) {
24    echo $e->getMessage(), "\n";
25}
26
27?>
28--EXPECT--
29bool(true)
30Property C::$x is read-only
31