Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113920
MIME-Version: 1.0
References: <CAKuGYLTStzEuOmhGKDdNdWP2iX_--mqV17jub0LgVPs+O6Bd+g@mail.gmail.com>
 <CAEPJdu=7qoj4ryx3PELYAbBsPFoBOiWZow+AMiw=QpNsRUa6Yw@mail.gmail.com>
 <7399011c-a638-5363-5303-c01ac402bb92@gmx.net> <CAEPJdundKhmev4vOr8rnEm6MoVbSdaggHpQAdd=4X0++eqqx7g@mail.gmail.com>
In-Reply-To: <CAEPJdundKhmev4vOr8rnEm6MoVbSdaggHpQAdd=4X0++eqqx7g@mail.gmail.com>
Date: Thu, 1 Apr 2021 20:24:35 +0300
Message-ID: <CA+hqhpcQgRURGkmKBC+bEs749T=+CWpzqcFSKnRVH0XetGZsxQ@mail.gmail.com>
To: Benjamin Eberlei <kontakt@beberlei.de>
Cc: Andreas Leathley <a.leathley@gmx.net>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000eb79ba05beec8298"
Subject: Re: [PHP-DEV] [VOTE] noreturn type
From: weirdan@gmail.com (Bruce Weirdan)

--000000000000eb79ba05beec8298
Content-Type: text/plain; charset="UTF-8"

On Thu, Apr 1, 2021 at 6:07 PM Benjamin Eberlei <kontakt@beberlei.de> wrote:

>
> ```php
> if (!isset($user)) {
>    throw new NotFoundException();
> }
> ```
>

Since `throw` is an expression (since PHP 8.0,
https://wiki.php.net/rfc/throw_expression), it must have a type for its
result,
as any expression has a type. And it's result is exactly `noreturn` (or
`never`, as this option seems to be preferred
judging by current vote results), because `throw` never returns.

It's quite natural to extend that to function calls that never return as
well. And then it makes sense to declare that type
as a part of function signature like you can do with other types.

-- 
  Best regards,
      Bruce Weirdan                                     mailto:
weirdan@gmail.com

--000000000000eb79ba05beec8298--