Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:113543 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 58013 invoked from network); 15 Mar 2021 15:49:32 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 15 Mar 2021 15:49:32 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 8E32C1804F6 for ; Mon, 15 Mar 2021 08:43:04 -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.1 required=5.0 tests=BAYES_00,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-lj1-f179.google.com (mail-lj1-f179.google.com [209.85.208.179]) (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 ; Mon, 15 Mar 2021 08:43:04 -0700 (PDT) Received: by mail-lj1-f179.google.com with SMTP id 15so16792726ljj.0 for ; Mon, 15 Mar 2021 08:43:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=fmkKyuTTM3kMQujLl2mhPpqOmOGC6T5e4vsRy8M52Ms=; b=eXdeZT2QhJ6iHl7uemRAFaW5CzU+D5LoX6F1wC2wDtd/V3pAaDFcH97tq1Foq9xAlW v5E+pb4cDFzsJnYAReoEpQQ6ZATcyvedQlNIAvSEvv1d61CQZvH8JU/0v5d+1e3N9/ay G9YVlU8Dg2wFF3dEhyvQ/d+KwEUqXOXsc62IDAx1dntTeiJQk0fpGZh+JSybXjNmJS+n FMVTWdygnISLgw5B1SC9V+uosJQru1UBcQ9Lvfv+cVmcra0flOI//nkAj0TPuVrlVzKY UCNjmNki6LylzmOVE6ceTfrmZTL9VVNprVTjEJAvr0GzZeAcnAU+vH9Z3kCDbkAfn0LL v0/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=fmkKyuTTM3kMQujLl2mhPpqOmOGC6T5e4vsRy8M52Ms=; b=VD6hxZwEtxxAzojmlO1nnIilMeTU8HZrlv1VpHpi6petGdtni8xbXSiXNn19uV3XW4 59oa1eGRvNd+XADpjdL50G/7bSq44ZmP+fiTatqZtBcjk0Rk/dAWvKxofZhILbTWWlEd z6qsBdeS0f8KX8tkBdbo1egsTVU+vUI9P+QIxBzR6BtIiToKqBBEz8mHWvRsOO96w1ye T5wgxLwjBb0Mfcg+ekE+UmLxtRhTumWhk+LtS2RH/mtZrXQAFAio2627rPR+TLkXeu3j p/AGuPqLcHdIK/0QhYH7upS2xxiFmOb/NzoZlFakddTTtfyM8GIoemXftyxiZRG8Hbr8 eBwA== X-Gm-Message-State: AOAM530nzVTwkjVs40ki+Yeo3BwvZQy/imui4z1dQKkF4MxcJHpiLC/k Fj0ThRWNCddY/+H2X4wxB4Ivp3IYeMZ7rv+zac8= X-Google-Smtp-Source: ABdhPJxXs5ph85UeqkMztzsQDBYMSpPWymDoXjQarqhBJo9DpVij7okvJ3CaE/yFywMSBNOzR7gX5R2rAP+7qFQpH/Y= X-Received: by 2002:a2e:99ce:: with SMTP id l14mr11280376ljj.93.1615822979466; Mon, 15 Mar 2021 08:42:59 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Date: Mon, 15 Mar 2021 16:42:43 +0100 Message-ID: To: Matthew Brown Cc: Internals Content-Type: multipart/alternative; boundary="000000000000b607ec05bd951a1e" Subject: Re: [PHP-DEV] [RFC] noreturn type From: nikita.ppv@gmail.com (Nikita Popov) --000000000000b607ec05bd951a1e Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Wed, Mar 10, 2021 at 7:07 PM Matthew Brown wrote: > 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 Thanks for the proposal! I think this is a nice addition. Regards, Nikita --000000000000b607ec05bd951a1e--