Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:115745 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 14692 invoked from network); 15 Aug 2021 23:50:15 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 15 Aug 2021 23:50:15 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 0CD001804B3 for ; Sun, 15 Aug 2021 17:22:07 -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, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-ASN: AS15169 209.85.128.0/17 X-Spam-Virus: No X-Envelope-From: Received: from mail-pl1-f170.google.com (mail-pl1-f170.google.com [209.85.214.170]) (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 ; Sun, 15 Aug 2021 17:22:06 -0700 (PDT) Received: by mail-pl1-f170.google.com with SMTP id c4so2685221plh.7 for ; Sun, 15 Aug 2021 17:22:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=z2uFTVawRf5KeWhcJz0MRL878Q0isXJzQ8742rPWzXk=; b=licuk77m8uXi14fh9LGesx2vnLQKOvaAkgGuffrVTJ312gZ0eoBKFGu71i8jffYAlq OQKmzctpsW0Sq5wCmYpy8H65r4WmiZKwEGAl1EvWCMH8mPvyi5/r2vTcvMmqA29xGeIl QvIY+LYDPCe7ld72o2mrHB/CO4VVFmPIGvOacINcnYTX6wNltpCAvK8aMtIP+KK4fNq6 rAAHKSIKo49VbIpRaeiE1BqV0hhCpL1YUYJeiYqx8+GLYaYMiNXzLp0UFxHZpVvZmjAe GngkayDFYWWi2A6UdKHG7wYpFq/i8SpaPPBPmX8G03QngdxQ57LRFNQfLzPeubx0gtCE Y/Xg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=z2uFTVawRf5KeWhcJz0MRL878Q0isXJzQ8742rPWzXk=; b=GxaWlPu9RE7qtNCQu6zhcg26MvAVxngfs9pLBqbu9fuJF1XWbKA3+XCwkwTFK4D962 sS854gXHKbqwme0mI2zrtacauutKHFjncDvqQdPmjEzhr2xjB7B4EL3t2E3TnsQMQqRC cruwANEAzq7273kcjIwjo5dZwQh1hHBP1C/prV4ox+CuFSBfk1pKf3+T8ianp5bu+z+U qbxtxXk+Ek52U76tdTpsyddDYX2MA0iGZzSp1VIutB7/raUZTMhDJisolgxW3RFsgG2T c4XMZ6O0JT/0LcAI4clqUzy6lDTCuo9zwYT36YFl3hlQVi5llcwNsb7MbSf0jlxSk3ui jV1Q== X-Gm-Message-State: AOAM530Mkt+P8iviB8r4tmcw8H3eG5z+4AT4oXofb+teuxijTLiv4FbG sCSJ+3JQ3wzo0C7q4n42MJo= X-Google-Smtp-Source: ABdhPJyBbEwbH3FcpHmI4n6IWfgK4cWkd9smpE1PhnvMGU69gCXxM38UPd7ixsiPzOpQ3uRvzTkJNA== X-Received: by 2002:a63:2545:: with SMTP id l66mr13254771pgl.61.1629073324751; Sun, 15 Aug 2021 17:22:04 -0700 (PDT) Received: from smtpclient.apple (node-1w7jr9qrfzx6ta622qgg5up1p.ipv6.telus.net. [2001:569:7a73:1f00:c428:8589:ab6d:bf4d]) by smtp.gmail.com with ESMTPSA id w11sm11224559pgk.34.2021.08.15.17.22.03 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 15 Aug 2021 17:22:04 -0700 (PDT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.100.0.2.22\)) In-Reply-To: Date: Sun, 15 Aug 2021 17:22:03 -0700 Cc: Patrick ALLAERT , Nicolas Grekas , PHP Internals List , Joe Watkins , Ben Ramsey Content-Transfer-Encoding: quoted-printable Message-ID: <448DAADA-C819-457F-ABBF-F942128B2830@gmail.com> References: <72785D6F-6803-49BB-B575-01061699ABF4@gmail.com> To: Kalle Sommer Nielsen X-Mailer: Apple Mail (2.3654.100.0.2.22) Subject: Re: [PHP-DEV] [VOTE] Nullable intersection types From: tobias.nyholm@gmail.com (Tobias Nyholm) Hey.=20 > No mistake: the "pure intersection types" RFC was explicitly designed = to avoid scope creep (this RFC). Just because it was intentional, does not make it less of a mistake.=20 I see that we have different views of this. And I understand that you = are happy with this change, but only for 8.2.=20 > the decision to halt this vote (if desired), is with the RMs, > not the internal contributors. Yes, naturally. Sorry if I implied something else.=20 // Tobias=