Re: [PHP-DEV] [VOTE] noreturn type

[Kamil Tekiela]

I am still not comfortable with the error message "Nothing was expected to
be returned" which is very confusing and I would change it to "was expected
to throw or exit" or "was expected to never return".
I went with "never" because it just reads better: "Function abc returns
never" instead of "Function abc returns noreturn". If "never" wins then the
other error message "A noreturn function must not return" must also be
changed. Maybe "The function must never return"