Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113455
MIME-Version: 1.0
References: <CAKuGYLRjOHWnX24kCVpTUV5DwdVTwcSkakZkZiAmF9YhpGDpVw@mail.gmail.com>
 <75a8a0ec-d988-7712-58b5-88c8061db605@gmail.com> <CAAwdEzDoWJ3mLAw_vW1Cbaif=hr-_qAkMa_+Cz-A+JH_FV4uRw@mail.gmail.com>
In-Reply-To: <CAAwdEzDoWJ3mLAw_vW1Cbaif=hr-_qAkMa_+Cz-A+JH_FV4uRw@mail.gmail.com>
Date: Wed, 10 Mar 2021 21:04:14 +0000
Message-ID: <CAGBsUrfEqhWt-5pJ-LJSO=WM2YELCSZsWM1dF_CJzebwVZzk_g@mail.gmail.com>
To: =?UTF-8?Q?Alexandru_P=C4=83tr=C4=83nescu?= <drealecs@gmail.com>
Cc: Rowan Tommins <rowan.collins@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000fd993605bd35028c"
Subject: Re: [PHP-DEV] [RFC] noreturn type
From: tekiela246@gmail.com (Kamil Tekiela)

--000000000000fd993605bd35028c
Content-Type: text/plain; charset="UTF-8"

Hi Matthew,

I am concerned with some edge cases. What if a function both returns and
throws at the same time? For example:

function a():noreturn {
    return throw new Exception('Boom!');
}

or

function a():noreturn {
try {
throw new Exception('Boom!');
} finally {
        return;
    }
}

Also, the message "TypeError: a(): Nothing was expected to be returned" is
inaccurate. It should say that the function should terminate instead of
returning. It's also not a TypeError if no value is expected. At the moment
it sounds like we need to make the function somehow return nothing.

If we are to bikeshed about the name then we might also consider other
possibilities: None, Nothing, Returnless

Regards,
Kamil

--000000000000fd993605bd35028c--