Re: [VOTE] noreturn type

From: Date: Wed, 31 Mar 2021 12:14:21 +0000
Subject: Re: [VOTE] noreturn type
References: 1 2  Groups: php.internals 
Request: Send a blank email to internals+get-113877@lists.php.net to get a copy of this message 
Also check my comment in the other thread:
If in the future we want a "bottom type" that also works for parameters
(generics or abstract methods), should we create a new keyword, or should
we attempt to find a keyword now that works for all cases?
Neither "never" nor "noreturn" seems suitable for use in parameters, but
"nothing" would be.

-- Andreas

On Wed, 31 Mar 2021 at 05:35, Peter Stalman <sarkedev@gmail.com> wrote:

> Aw, my terminus suggestion didn't make it. ☹️
>
> Thanks,
> Peter
>

Thread (30 messages)

« previous php.internals (#113877) next »