On Tue, Mar 30, 2021 at 10: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 Hi Matt and Ondrej, Thanks for your work on this RFC. I voted for `never` as the type name because it's more amenable to future use cases like compile-time exhaustiveness checks (example: https://www.typescriptlang.org/docs/handbook/2/narrowing.html#the-never-type). As a bonus `never` is more concise, avoids mashing two words together, and aligns with TypeScript, which I and many other PHP devs also use. Kind regards, Theodore -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
