Hey!
The vote is now closed (a little tardily, I’m on holiday).
Yays: 42
Nays: 11
The Yays have it.
There was an additional vote on noreturn vs never:
noreturn: 14
never: 34
Never is the clear winner, so we’ll adopt never for the name of PHP’s bottom type.
Thanks to everyone who contributed comments and suggestions!
Matt and Ondřej
> On Mar 30, 2021, at 11:06 AM, Matthew Brown <matthewmatthew@gmail.com> wrote:
>
>
> Hey everyone!
>
> The vote for adding noreturn is now open:
>
> https://wiki.php.net/rfc/noreturn_type
>
> Voting will run through April 13th
>
> Best wishes,
>
> Matt and Ondrej