Re: [VOTE] noreturn type

From: Date: Fri, 02 Apr 2021 01:13:52 +0000
Subject: Re: [VOTE] noreturn type
References: 1 2 3 4  Groups: php.internals 
Request: Send a blank email to internals+get-113927@lists.php.net to get a copy of this message 

> On Apr 1, 2021, at 2:03 PM, Levi Morrison via internals <internals@lists.php.net> wrote:
> 
> I do not care which name is chosen, but if we are going to have this
> sort of thing in the language, it ought to be a bottom type, not an
> attribute.
> 

You make an excellent point Levi. I initially chose noreturn simply because I was
familiar with the name from C and didn't have a strong opinion. However, I agree that
noreturn is a poor choice for reuse as a bottom type, so I changed my vote to
never.

Cheers,
Aaron Piotrowski

Thread (30 messages)

« previous php.internals (#113927) next »