Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:130529
Precedence: list
MIME-Version: 1.0
Date: Thu, 02 Apr 2026 11:25:31 +0200
To: Daniel Scherzer <daniel.e.scherzer@gmail.com>
Cc: php internals <internals@lists.php.net>
Subject: Re: [PHP-DEV] [RFC] [Discussion] `#[\Override]` for class constants
In-Reply-To: <CALaXqqRuboaxOnt+VEkGc1kte8bfNca1wPUwmtsdtetnh_4GAA@mail.gmail.com>
References: <CALaXqqRuboaxOnt+VEkGc1kte8bfNca1wPUwmtsdtetnh_4GAA@mail.gmail.com>
Message-ID: <7d16cc9dcf0a84ce81a93f89947eb6b2@bastelstu.be>
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
From: tim@bastelstu.be (=?UTF-8?Q?Tim_D=C3=BCsterhus?=)

Hi

Am 2026-03-31 01:36, schrieb Daniel Scherzer:
> I'd also like to draw specific attention to the open question, which I 
> am
> soliciting feedback on: how should `#[\Override]` work for enum cases? 
> See
> the RFC page for details.

We've been pretty clear so far the “enum cases are just constants”, e.g. 
in the RFC for `#[\Deprecated]` 
(https://wiki.php.net/rfc/deprecated_attribute):

> Enum cases are internally implemented as class constants. Adding the 
> #[\Deprecated] attribute to an enum case will behave as expected.

Given that:

     interface NamedX {
         public const string Name = 'foo';
     }

     enum Foo implements NamedX {
         case Name;
     }

is a thing already and fails with:

     Type of Foo::Name must be compatible with Named::Name of type string

as expected and

     interface NamedX {
         public const Name = 'foo';
     }

     enum Foo implements NamedX {
         case Name;
     }

without defining the constant's type just works by the enum case 
shadowing the interface’s constant it seems consequent to allow 
`#[\Override]` on enum cases, even if likely not particularly useful.

Best regards
Tim Düsterhus