[RFC] [Discussion] Final promoted properties
| From: | Daniel Scherzer | Date: | Mon, 24 Mar 2025 18:33:30 +0000 |
| Subject: | [RFC] [Discussion] Final promoted properties | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-126926@lists.php.net to get a copy of this message | ||
Hi internals,
I'd like to start the discussion for a new RFC about allowing final
promoted properties. You can see some preliminary discussion at <
https://externals.io/message/126475>, but this
is now an official RFC.
* RFC: https://wiki.php.net/rfc/final_promotion
* Implementation: https://github.com/php/php-src/pull/17861
--Daniel