Re: [VOTE] noreturn type

From: Date: Sat, 03 Apr 2021 15:54:52 +0000
Subject: Re: [VOTE] noreturn type
References: 1 2 3 4 5 6  Groups: php.internals 
Request: Send a blank email to internals+get-113936@lists.php.net to get a copy of this message 
On 03/04/2021 16:30, Benjamin Eberlei wrote:

But I again get to the point of the problem with this RFC due to naming.
"never" is actually combining "nothing" type with "noreturn" flag, so for
me the most consistent way would have been "public noreturn function foo():
nothing"



I'm not sure how the flag and return type could ever be used separately. Are you suggesting that we should allow all 3 of these:

- public noreturn function foo(): nothing
- public noreturn function foo(): int
- public function foo(): nothing

How would any tool treat these differently?

Regards,

-- 
Rowan Tommins
[IMSoP]

Thread (30 messages)

« previous php.internals (#113936) next »