1--TEST--
2Override attribute is not satisfied by unilateral virtual property
3--FILE--
4<?php
5
6class A {
7    public $prop {
8        set {}
9    }
10}
11
12class B extends A {
13    public $prop {
14        #[Override]
15        get => parent::$prop::get();
16    }
17}
18
19?>
20--EXPECTF--
21Fatal error: B::$prop::get() has #[\Override] attribute, but no matching parent method exists in %s on line %d
22