1--TEST--
2Override attribute is satisfied by plain property
3--FILE--
4<?php
5
6class A {
7 public $prop;
8}
9
10class B extends A {
11 public $prop {
12 #[Override]
13 get => parent::$prop::get();
14 }
15}
16
17?>
18===DONE===
19--EXPECT--
20===DONE===
21
