Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113451
Content-Type: multipart/signed;
	boundary="Apple-Mail=_2BA1AA63-49F6-4A9B-A0A3-89F5E1625DC0";
	protocol="application/pgp-signature";
	micalg=pgp-sha256
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.60.0.2.21\))
Date: Wed, 10 Mar 2021 13:28:49 -0600
References: <CAKuGYLRjOHWnX24kCVpTUV5DwdVTwcSkakZkZiAmF9YhpGDpVw@mail.gmail.com>
 <e397c220-13cb-6055-3e1e-3aaf3ee18ae9@alec.pl>
To: PHP internals <internals@lists.php.net>
In-Reply-To: <e397c220-13cb-6055-3e1e-3aaf3ee18ae9@alec.pl>
Message-ID: <F06253BB-9B2C-49DC-B382-A222506E2F26@benramsey.com>
Subject: Re: [PHP-DEV] [RFC] noreturn type
From: ben@benramsey.com (Ben Ramsey)

--Apple-Mail=_2BA1AA63-49F6-4A9B-A0A3-89F5E1625DC0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8

> On Mar 10, 2021, at 13:24, Aleksander Machniak <alec@alec.pl> wrote:
>=20
> On 10.03.2021 19:06, Matthew Brown wrote:
>> Ond=C5=99ej Mirtes and I present an RFC for the noreturn type:
>> https://wiki.php.net/rfc/noreturn_type
>=20
> I don't like that type covariance would be allowed. Why such an
> exception to the rules?


It=E2=80=99s not an exception. Returns are covariant. Parameters are
contravariant. Since `noreturn` is a subtype of all other types, it
behaves as expected.

I like the proposal, btw!

Cheers,
Ben


--Apple-Mail=_2BA1AA63-49F6-4A9B-A0A3-89F5E1625DC0
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
	filename=signature.asc
Content-Type: application/pgp-signature;
	name=signature.asc
Content-Description: Message signed with OpenPGP

-----BEGIN PGP SIGNATURE-----

iHUEAREIAB0WIQToXQMR3fpbrPOmEOewLZeYnIwHGwUCYEkd8QAKCRCwLZeYnIwH
G94lAPsEkUmyu2BS4jWM1f3dCU9RaULQafAWvw7BGqgtcOSIaAD/WM+OuD6Fkvfp
YYp44PfZkDJ2HMr9LVTL3bm0JRJE2mM=
=ZzhX
-----END PGP SIGNATURE-----

--Apple-Mail=_2BA1AA63-49F6-4A9B-A0A3-89F5E1625DC0--