unread
Hi internals,
I would like to propose extending the target of the #[Override] attribute to include properties.
The original RFC explicitly excluded properties [1] for reasons that have since then changed drastically: the additions in 8.4 have allowed properties to become a more prominent part of the public API of a class or an interface. In light of these changes, I believe it might be worth revisiting.
The RFC passed almost unanimously, but based on the discussion, I got the impression it raised some concerns about its utility. So I wanted to reach out and read the room before proceeding with an actual RFC.
Looking forward to your thoughts.
Best regards,
Jiří Pudil
[1] https://wiki.php.net/rfc/marking_overriden_methods#properties