Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113940
MIME-Version: 1.0
References: <CAKuGYLTStzEuOmhGKDdNdWP2iX_--mqV17jub0LgVPs+O6Bd+g@mail.gmail.com>
 <CAEPJdu=7qoj4ryx3PELYAbBsPFoBOiWZow+AMiw=QpNsRUa6Yw@mail.gmail.com>
 <CAKuGYLSNKKe_43f97OXxRNdiGQ-dGBYfZUsmdbKfQ=CCUt+tpA@mail.gmail.com>
 <CAAKU0ukNDzCQ3hBCHSJZFetZbJnijE-KntbmZuV-6DDvvJZCDg@mail.gmail.com>
 <C131E912-F394-4F2A-A80D-C95EE2DB3DA6@trowski.com> <CAEPJdu==ggHpe0imzLd3ETZw3gED8sQsnTHuKh=AaKom+0j5kQ@mail.gmail.com>
 <CAEPJdunXtJaWHrfMdiPf0qGzajmDfObGYnYb+0VaSWNWDsAJkA@mail.gmail.com>
In-Reply-To: <CAEPJdunXtJaWHrfMdiPf0qGzajmDfObGYnYb+0VaSWNWDsAJkA@mail.gmail.com>
Date: Sat, 3 Apr 2021 20:26:34 +0100
Message-ID: <CAJvSBVMtVsMYxjwT-aSc_rDk=bp=pfZK8vGv9iu4iMGV1mqX9Q@mail.gmail.com>
To: Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000006ee1b305bf16738e"
Subject: Re: [PHP-DEV] [VOTE] noreturn type
From: phpmailinglists@gmail.com (Peter Bowyer)

--0000000000006ee1b305bf16738e
Content-Type: text/plain; charset="UTF-8"

On Sat, 3 Apr 2021 at 17:30, Benjamin Eberlei <kontakt@beberlei.de> wrote:

> The problem is that "void" is already not perfect, since the callside
> doesn't care about "return null" with no return type vs "return" + void
> return type.
>
> If we had "nothing" and "null" instead of "void", and we'd say like PHP
> works, "return;" actually means "return null;", then:
>
> function foo(): nothing {
>     return; // Error: cannot return null from a function that returns
> nothing.
> }
> function bar(): null {
>     return;
>     // or return null;
> }
>
> This would more consistently tie into union types where |null is allowed,
> however on its own it is not: "foo() : null => error".
>
> As Levi said, this noreturn/never just perpetuates/amplifies the existing
> void mistake and feels off, given that other recent changes to PHP have
> been more bold, towards removing inconsistencies.
>

This and Levi's email make compelling arguments and I would like to see
this adopted. I have changed my vote to "No".

Peter

--0000000000006ee1b305bf16738e--