Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:113936 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 74264 invoked from network); 3 Apr 2021 15:56:39 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 3 Apr 2021 15:56:39 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id EE9711804B2 for ; Sat, 3 Apr 2021 08:54:54 -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,NICE_REPLY_A, 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-ej1-f47.google.com (mail-ej1-f47.google.com [209.85.218.47]) (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 ; Sat, 3 Apr 2021 08:54:54 -0700 (PDT) Received: by mail-ej1-f47.google.com with SMTP id l4so11090958ejc.10 for ; Sat, 03 Apr 2021 08:54:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding:content-language; bh=zc6pzMUq4GE68aNqth/V9V21dfyiTl7GX+Gu0zb1w/E=; b=O9fCII2E+RBw8RzWN2u37fODERZsnkUhBct1YUUTKrvx3NsoJyw7KGuCtPw+ifHW3O Xt/IwpbDJ5ByPLhKNtLJAhe5yXeRwV737wUQifqi2OIlwCGjUvn3KihYDe0WFV99cFwl MaE23y/eS+s7UJHluHU9GwS4KUznw4iQtJlibR/IUkRHb1Z3fhnQPu+tCaPYGtc47Rqa HE/shSg+wQq0cj2OlYO0PWa3BH4QY+L+cB2JcfNUsqJayNgiXCtyguFPce+IDPgGG8sR 8XDMDrXeryvPnF/m5SSEDAmJTTOWNYYHqeBO3Ztw7aECqxFAtHpASqO3DE4gXwseQpoD V7lQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding :content-language; bh=zc6pzMUq4GE68aNqth/V9V21dfyiTl7GX+Gu0zb1w/E=; b=IwX642y0YsNz4efWdD/cgw8V9YWUgLdhOHLd3XpvC3f/MkR4rGqChm5Vrfa2OWZiPb KmVx7BFopV4+aiAt8MaF71TJNCWVayRJSdSL36yTgxVbCbkn6LNnykgILqUi6roTjjSg WeZw/ND2wbUOi5W7W5BMjJwqnG7CMewb6GPqOHXRE6OR9VlTFfw6+m2v9ODqxy/QX6CZ iCxles/T4ccXgdKI2ihAKc/mbnxfNCb6qOda+ef/iFwyUnapFH7MuAN5P94uYcZDddSd hwf1FNS4bdf+8Faiq1IIDHHzxIzJ1LFMJ1QSaep3HWg67DyMmOAanDkdqlXFnKxl2/VI 9WPQ== X-Gm-Message-State: AOAM530M3GhFmfTcL+Ax7uxIhEbrb0h365Pi1q3/G1KTYF9oMt2pR0lL kHIv5qJU+voUsOV/YePVNulTsQ5icBI= X-Google-Smtp-Source: ABdhPJwS/7R1j5ncRsMCn6BUqS6+ap33vDWXr80GYerBBNI1y+tGJQ1UbxB5cnZs4q+t5AO255OotQ== X-Received: by 2002:a17:906:5597:: with SMTP id y23mr19765918ejp.165.1617465292984; Sat, 03 Apr 2021 08:54:52 -0700 (PDT) Received: from [192.168.0.22] (cpc104104-brig22-2-0-cust548.3-3.cable.virginm.net. [82.10.58.37]) by smtp.googlemail.com with ESMTPSA id eo22sm5670448ejc.0.2021.04.03.08.54.51 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 03 Apr 2021 08:54:52 -0700 (PDT) To: internals@lists.php.net References: Message-ID: Date: Sat, 3 Apr 2021 16:54:52 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.9.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Content-Language: en-GB Subject: Re: [PHP-DEV] [VOTE] noreturn type From: rowan.collins@gmail.com (Rowan Tommins) On 03/04/2021 16:30, Benjamin Eberlei wrote: > But I again get to the point of the problem with this RFC due to naming. > "never" is actually combining "nothing" type with "noreturn" flag, so for > me the most consistent way would have been "public noreturn function foo(): > nothing" I'm not sure how the flag and return type could ever be used separately. Are you suggesting that we should allow all 3 of these: - public noreturn function foo(): nothing - public noreturn function foo(): int - public function foo(): nothing How would any tool treat these differently? Regards, -- Rowan Tommins [IMSoP]