On Sat, 3 Apr 2021 at 22:29, David Rodrigues <david.proweb@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.