Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:113442 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 87398 invoked from network); 10 Mar 2021 18:14:39 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 10 Mar 2021 18:14:39 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 1DAA51804D1 for ; Wed, 10 Mar 2021 10:06:58 -0800 (PST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-0.7 required=5.0 tests=BAYES_05,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-Virus: No X-Envelope-From: Received: from mail-vk1-f181.google.com (mail-vk1-f181.google.com [209.85.221.181]) (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 ; Wed, 10 Mar 2021 10:06:57 -0800 (PST) Received: by mail-vk1-f181.google.com with SMTP id 7so4005962vke.5 for ; Wed, 10 Mar 2021 10:06:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=AKVpwjbL7/0Tc94V47ocRkPt0f8mJ7Kpjx/jwwwqCzs=; b=hknvNHSxxMAZJdoz0yHfL6U4tvjU9aODzBJpaPjcEKfz2kbhZb0+hFj59VYuUv7qqg TOvNKPKEBSV11NgW7r9gzIKpqvot88eVVqsORzxclrTfX+/Biu0ugvXuhJv+qY4qpd2Y 8lACU8W/6yUzOZeYpqdsTPoCx5550aH4b7jRs05C9QLODjT/+/8LKbbEbDcZnfpX8AmN 12NkFzkb2/nXpvb4Pg4qIJx2z2XdDzEeX5qIxinjgqb3YJ08VMTk4eCCmXWoPNsojlht qLxpKrWcRV4nMaurXYlc675ddYtCfpfxqWOj3jgkJVn9I0uPOsNbT9HwWKEsYTmk10i8 y4KQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=AKVpwjbL7/0Tc94V47ocRkPt0f8mJ7Kpjx/jwwwqCzs=; b=ZF9bCP4j6cBgSI636uiPC77xBw6G62TkNu06jr9G+2hx5q5OGSCAQW0+CAPfAFpqZV VplEVpjjLOQve4pmQo/CUcgAVFj3XbqJFdQPVBwu9bds30dFoBKwYHl1KA/pYVyQHDLB DIZnxyNXanp1vwKErRAET/wucxtJYXpTj3hLAk7q1tO+ipbPJjrYK6z0CMIGrmeV6rh7 EBJmJ2zYTGq7a2prLO5ndNBF1EtQzlBbVDppuNOEvJDiHraNRO2ZlQ+y7d09+IbhXMsE AySNrmnqLyCnvuWsW7j1I7mQbWZIGNBl+iEVmAlc4pZVbPGTuh27/JVORzRfmK4ZTEdJ Ru4A== X-Gm-Message-State: AOAM531Mcx0ZHzToociSBuPTpBNEPbL+w4qbbacn8BQJEDbYw0IVJ1yW FXFkERMQah4UHN4hEIiee6Z6g/nsqy7eKGVbw8mmhmjcpkZs7A== X-Google-Smtp-Source: ABdhPJyBt773a+AeuPmsSGzVitwtSBoG47K+yPJ7LlXe4A+E1eT//oPHiG7FfjMeH8d5IIFRaQ/3EF+sltJWfJFZLSU= X-Received: by 2002:a1f:9851:: with SMTP id a78mr2555477vke.3.1615399611371; Wed, 10 Mar 2021 10:06:51 -0800 (PST) MIME-Version: 1.0 Date: Wed, 10 Mar 2021 13:06:40 -0500 Message-ID: To: Internals Content-Type: multipart/alternative; boundary="00000000000001940805bd328806" Subject: [RFC] noreturn type From: matthewmatthew@gmail.com (Matthew Brown) --00000000000001940805bd328806 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hey, Ond=C5=99ej Mirtes and I present an RFC for the noreturn type: https://wiki.php.net/rfc/noreturn_type The feature already exists in Hack (the primary inspiration) and is currently supported by our static analysis tools inside docblocks, and we feel there's a good argument for it to be supported by PHP itself. Thanks, Matt & Ond=C5=99ej --00000000000001940805bd328806--