Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113941
Return-Path: <a.leathley@gmx.net>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 94474 invoked from network); 3 Apr 2021 19:36:36 -0000
Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5)
  by pb1.pair.com with SMTP; 3 Apr 2021 19:36:36 -0000
Received: from php-smtp4.php.net (localhost [127.0.0.1])
	by php-smtp4.php.net (Postfix) with ESMTP id 0E5BC180003
	for <internals@lists.php.net>; Sat,  3 Apr 2021 12:34:56 -0700 (PDT)
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net
X-Spam-Level: 
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
	DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,NICE_REPLY_A,
	RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,
	SPF_PASS autolearn=no autolearn_force=no version=3.4.2
X-Spam-Virus: No
X-Envelope-From: <a.leathley@gmx.net>
Received: from mout.gmx.net (mout.gmx.net [212.227.17.21])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange ECDHE (P-256) server-signature RSA-PSS (4096 bits) server-digest SHA256)
	(No client certificate requested)
	by php-smtp4.php.net (Postfix) with ESMTPS
	for <internals@lists.php.net>; Sat,  3 Apr 2021 12:34:55 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net;
	s=badeba3b8450; t=1617478494;
	bh=DfuN23Lo8LkJTGukWo/eHCw2xcOHvrbNtLCLa4PfSPA=;
	h=X-UI-Sender-Class:Subject:To:References:From:Date:In-Reply-To;
	b=gUIAh37397V6iEzjmlMuGym1AfPraiQprmw+VtaVfQ2a7jl9W3zLA2R/WlBT+t+jX
	 8MboE+BWb9jzpWo1UZLNnex4+uXRP8Y9cvEYFN2/anA3E5WsoEeXuaZWg3z7jy15Jl
	 QC+Srkvwht4C2kFsaMWYQ5YY+U4jpFEVRCqiIqzk=
X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
Received: from [192.168.178.120] ([24.134.51.41]) by mail.gmx.net (mrgmx104
 [212.227.17.168]) with ESMTPSA (Nemesis) id 1MgNh1-1m5zCj0abP-00hy0b for
 <internals@lists.php.net>; Sat, 03 Apr 2021 21:34:54 +0200
To: internals@lists.php.net
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>
 <CAJvSBVMtVsMYxjwT-aSc_rDk=bp=pfZK8vGv9iu4iMGV1mqX9Q@mail.gmail.com>
Message-ID: <30de23c4-a2aa-bc72-5d3f-293c55d8de18@gmx.net>
Date: Sat, 3 Apr 2021 21:35:11 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.9.0
MIME-Version: 1.0
In-Reply-To: <CAJvSBVMtVsMYxjwT-aSc_rDk=bp=pfZK8vGv9iu4iMGV1mqX9Q@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: quoted-printable
Content-Language: en-US
X-Provags-ID: V03:K1:xE4QC5klPl/nMwL8I8origQvGJY73cVnVuBPmCxEd1oxLqplNHr
 1sYxy3/EzN9OJ+iWNlTbsbSYC/r8XSX+a6hKuhxIbBz+dFsEPIhSFRXUmX8wqyK9D1GxmFB
 2+smbqdymKMGkA4vvnbWL2bxs9RHWpCI4tgCaEeXM2EBPnFwmwe0sfvNrcb3TjXyXZpVBLq
 BLjjTDrxvQtQ6lHuJWqkw==
X-UI-Out-Filterresults: notjunk:1;V03:K0:LIN2w3bCSoo=:M/5EDhTcCrSFi5uibwh7OG
 f0gALqkeYBADfD0xxjbS5155wMhlU3QjfDr1H0z6V2r+9UubaGJLEeFUX0lvRVVOsO23g3WXO
 7BXNiYnArS7IxQ3LeeveaTQavUlRr9IcRVI/bcQ94L6czPTcYZLS5xEwdS4XrLPD0z1dAoqP4
 qTT2e4VO/idg7GaJveKszWAmYJicZ92gxjCSADh/qwqb5DlgYUeE5KE27km6l0lgMwmcRL5ZZ
 mlVLJP0jPa3HBcYYmt5+UiEh4wCZJbXkjkRpNdU9HczNp70Asud1frbHrA2tlmtcW63nRPpYt
 pB288NGRCvVAVo/u3lTmQE9ngOWzJ0ZMdQcjLSnmYL/BV/+RaKUdM5Xdu8BvVKqnforz4g5qh
 /opUACfLqYoOytOc+UNbjoS3M2NrhUCFlPNiPCsZG+YfFK7WrB8KPZc2jI6keKyMO7odgRh0h
 DXkJwH9XTiXzpqT+9NuxDDIwxYw0VpkooepH9P8EWREXZogfdl4BgbagBop4X9ClqCGEtLUdn
 8xjwAGgdZivr00xVyuZkIDu7pKfofSUhrm9LqogJ4BgXie9paDK1CG48WleVZRmphXEtsG+iI
 YpTag2ch5BIxnfVJuKl1duJHEsa+8TacamsXWT6Tq7vC6u6hEc90UqCAEg9delN2zpo4qGFpO
 dNPnaDSS+c6M3zyIrR3dPkeixw6l2dwfdJuovnLR0AVBI0/Ke+JjaY4bnV1z0FR+KN2zpcktB
 0NdHw5EPvM+P6/MJL+KuU7U5CrTySCJTM+v+Z3yszjxIPRYPdWgPum0dsTUY93KWmqLSvYySA
 zb1xuNFU7giYzTvIipANVBUynGRhwlO7ZiO7yuYo18d/q5BY9WTlsD7hY9mk1Ml7aEBuKT22d
 qzIvFfnPuoKBvtuLvBNn+QoiDffO1Tc7LoX+Wg+PgaXdHxiBgEBt0mZIML/EzRNmwJfMK9WsF
 LP2G98IioB6bADljwgIwtW/pAGOHLnjMRwwaLSRruE0srv0V6N6t+AJQXEjN6/PKXvl6oFedC
 RAd7z93uEoW5AbbyCrOUKDuUNOcxr6w15h5oDcHvLi0QP0wSGnvXVQAMkMtbUdbZ3MuD2OoBC
 X4ZeXvJTiR7CZnlXipZ4jnFTrhxPwulm7ehJI4D9B/BdEj7FatzDoDQPjhEcT8wU9U7QoFyez
 7Aa+xjdW7p+SaVoM+2Ka6a1XYp0ovJ3FxJ7SIhSzDHqAc5XMrKsTcCUheX8LD8Y7gIjdI=
Subject: Re: [PHP-DEV] [VOTE] noreturn type
From: a.leathley@gmx.net (Andreas Leathley)

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").