If there are no more questions, we plan to open up voting for this on Tuesday March 30. There will be two votes — a 2/3 majority required for the feature, and a simple majority required for the name — “noreturn” vs “never”. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
- Re: [PHP-DEV] [RFC] noreturn type Rowan Tommins
- Re: [PHP-DEV] [RFC] noreturn type Rowan Tommins
- Re: [PHP-DEV] [RFC] noreturn type Aaron Piotrowski
- Re: [PHP-DEV] [RFC] noreturn type Nikita Popov
- Re: [PHP-DEV] [RFC] noreturn type Nikita Popov
- Re: [PHP-DEV] [RFC] noreturn type Marco Pivetta
- Re: [PHP-DEV] [RFC] noreturn type Nikita Popov
- Re: [PHP-DEV] [RFC] noreturn type Matthew Brown
- Re: [PHP-DEV] [RFC] noreturn type Larry Garfield
- Re: [PHP-DEV] [RFC] noreturn type Matthew Brown
- Re: [PHP-DEV] [RFC] noreturn type Matthew Brown
- Re: [PHP-DEV] [RFC] noreturn type Ilija Tovilo
- Re: [PHP-DEV] [RFC] noreturn type Matthew Brown
- Re: [PHP-DEV] [RFC] noreturn type Andreas Hennings
- Re: [PHP-DEV] [RFC] noreturn type Ilija Tovilo
- Re: [PHP-DEV] [RFC] noreturn type Matthew Brown
- Re: [PHP-DEV] [RFC] noreturn type Andreas Hennings