[php-src] Issue #19086: Attribute "Override" cannot target property

From: Date: Thu, 10 Jul 2025 10:58:37 +0000
Subject: [php-src] Issue #19086: Attribute "Override" cannot target property
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-250408@lists.php.net to get a copy of this message
Issue: https://github.com/php/php-src/issues/19086 Author: rino1 ### Description ``` $ 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?

« previous php.bugs (#250408) next »