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 <matthewmatt...@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
