Hey everyone,
The voting has just ended.
The #[\NoDiscard] attribute was accepted with 18 (Yes) to 4 (No) votes
(82%).
The (void) cast was accepted with 18 (Yes) to 2 (No) votes (90%).
Neither vote is a subset of the other, some voters only voted for the
#[\NoDiscard] attribute itself and some only voted for the (void) cast.
Tim will take care of finalizing the implementation in the coming days.
Thank you to everyone for your participation in the discussion.
Kind regards,
Volker
On Wed, Mar 5, 2025 at 2:52 PM Volker Dusch <volker@tideways-gmbh.com>
wrote:
> Hey everyone,
>
> As announced on Monday: https://externals.io/message/126232#126551
>
> We just started the vote on the "Marking return values as important
> (#[\NoDiscard])" RFC.
>
> References:
> - RFC: https://wiki.php.net/rfc/marking_return_value_as_important
> - Implementation: https://github.com/php/php-src/pull/17599
> - Discussion thread: https://externals.io/message/126232
>
> The vote will end in two weeks, on March 19th, 2025 at 14:00 UTC. Please
> note that the RFC contains two questions to vote on, each requiring a
> 2/3rds majority to pass.
>
> Kind Regards,
> Volker
>
> --
> Volker Dusch
> Head of Engineering
> Tideways GmbH
> Königswinterer Str. 116
> 53227 Bonn
> https://tideways.io/imprint
>
> Sitz der Gesellschaft: Bonn
> Geschäftsführer: Benjamin Außenhofer (geb. Eberlei)
> Registergericht: Amtsgericht Bonn, HRB 22127
>
--
Volker Dusch
Head of Engineering
Tideways GmbH
Königswinterer Str. 116
53227 Bonn
https://tideways.io/imprint
Sitz der Gesellschaft: Bonn
Geschäftsführer: Benjamin Außenhofer (geb. Eberlei)
Registergericht: Amtsgericht Bonn, HRB 22127
