Re: [VOTE] noreturn type

From: Date: Sat, 03 Apr 2021 19:35:11 +0000
Subject: Re: [VOTE] noreturn type
References: 1 2 3 4 5 6 7 8  Groups: php.internals 
Request: Send a blank email to internals+get-113941@lists.php.net to get a copy of this message
On 03.04.21 21:26, Peter Bowyer wrote:
This and Levi's email make compelling arguments and I would like to see this adopted. I have changed my vote to "No". Wasn't Levi arguing for the RFC? Introducing "never" as a bottom type is
what Levi was strongly arguing for, and that is what the RFC currently proposes/leads to (taking into account the clear lead for "never").

« previous php.internals (#113941) next »