Re: [VOTE] noreturn type

From: Date: Fri, 02 Apr 2021 20:13:22 +0000
Subject: Re: [VOTE] noreturn type
References: 1 2 3 4 5  Groups: php.internals 
Request: Send a blank email to internals+get-113930@lists.php.net to get a copy of this message
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"


Thread (30 messages)

« previous php.internals (#113930) next »