Attribute "Override" cannot target property

[rino1]

$ cat test.php 
<?php
interface XXX {
    public $yyy { get; }
}
new class implements XXX {
    #[Override]public $yyy;
};

$ php /data/test.php 
Fatal error: Attribute "Override" cannot target property (allowed targets: method) in /data/test.php on line 6

But wouldn't it be a great idea to use Override attribute for properties too?

[iluuu1994]

Hi @rino1. The timing is very coincidental. See https://wiki.php.net/rfc/override_properties, this is just now being discussed and worked on.