Hi On 12/26/23 22:45, Niels Dossche wrote:
In my opinion, having them become proper classes instead of aliases has my preference: either we fix everything in one go now while we have the opportunity, or never.
As I've already told you in private, I'm in favor of using this opportunity.
Let me know what you think, especially regarding the type issues.
Will the classes be made `final` if they are no longer aliases? That should (hopefully) make similar changes somewhat easier in the future.
Best regards Tim Düsterhus -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
