On Sat, 3 Apr 2021 at 22:29, David Rodrigues <david.pro...@gmail.com> wrote:
> It is very likely that the proposal will be accepted (it is already 33/10), > I'm definitely not counting my chickens. > Is there any chance of discussing terms, even if the "never" indication is > winning at the moment? Or did I miss this discussion? > The RFC discussion is here: https://externals.io/message/113442. Someone suggested "terminus", but nobody replied supporting that suggestion (that was your opportunity!). Lots of people suggested "never", enough that a vote on "noreturn" vs "never" was added to the final RFC. As for "terminus", I don't think there's much benefit to PHP having its own separate term for a type "noreturn"/"never" that already exists in other languages. I know that naming is one of the "two hard things", but there's no need to make it any harder.
