Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:115743 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 11708 invoked from network); 15 Aug 2021 23:36:20 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 15 Aug 2021 23:36:20 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 1721E1804B3 for ; Sun, 15 Aug 2021 17:08:12 -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_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-ot1-f43.google.com (mail-ot1-f43.google.com [209.85.210.43]) (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:08:11 -0700 (PDT) Received: by mail-ot1-f43.google.com with SMTP id m7-20020a9d4c87000000b0051875f56b95so2030761otf.6 for ; Sun, 15 Aug 2021 17:08:11 -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=8t824uS1WgrfydpFiW1yoYaf240dQY4f4dheHmgVl0k=; b=jOxqDoa+ujRp+1p8GB/HQADOzxWVw1WBfS8OTyV46J4/ofbyD16XefVktTLVsUI36k YWzU7NOeoK1uqKeD5Q3AF2o8dLrBMgw5jYKXrlNN9yyePzm+2g4TRScDmyg91KNA/gZo yttifW4zKS6rYd4EeeQU7ECVhbO3PDdVv35R1qF+6s4ftLPxx/e5mU7CLb78pJCSrJfL TjF1u+/uD3P0TMsjLCYHPsHDoaYLE1SxPC+fERTN85MeIoordOoMrYbTgA/pgAynJ8Mn xOOrIszbSnvOGzJuV1KtbR3kTIohxIyMbAPWq6Em/9SJcPoGvOB7F4jf+U5ikByH7vSK ZOdw== 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=8t824uS1WgrfydpFiW1yoYaf240dQY4f4dheHmgVl0k=; b=p1hR/OkXS8H99irVP6LRLK6wxMPj9xGVVvr/uXCRRWjxBweIx9wlbMbC1fbP03Gj9n CW6mRDa3p60nOOTR8GAs7Y+5o1Xsb6HM0h2egM+C+t6EW1JcCk+HOST9+ts9tUfbLWEj 9mHhCACXcOtBvUCu4tGovVF8iALaHRjikjr8uNWTybEWmn8COwWjB0rVjLfKMnbFhCXb BXcbOrHYEfxVBCvFPJxogO9cVyPYFCrm7E+rHDFi1FF/bXPazzArv0hrXGKdIT2oJwQc QQpScfoHjRy7O84+igo8pRXKRBWTDJJZPAnAY6cHOnu8j+8Vanxz1MM0/zfM1d+UgFQJ Q2PA== X-Gm-Message-State: AOAM532c/w6qaptQgS+t596scnZkg25uZJvvkP5JgU/pFp/vl0n8G/qd hGgb77PQcDdHMWeb90lWerGPzZS5zMXpM9Nxjfw= X-Google-Smtp-Source: ABdhPJxO0gX47wU0qx/a4y8j+izaLmy7BQ2D3hzldxRiVJKT0QlOJNjaRp/TGJ8f0CIGaNcwbDyJjsPyiJZTSaGfKyU= X-Received: by 2002:a05:6830:1d72:: with SMTP id l18mr10690463oti.264.1629072489469; Sun, 15 Aug 2021 17:08:09 -0700 (PDT) MIME-Version: 1.0 References: <72785D6F-6803-49BB-B575-01061699ABF4@gmail.com> In-Reply-To: <72785D6F-6803-49BB-B575-01061699ABF4@gmail.com> Date: Mon, 16 Aug 2021 02:07:57 +0200 Message-ID: To: Tobias Nyholm Cc: Patrick ALLAERT , Nicolas Grekas , PHP Internals List , Joe Watkins , Ben Ramsey Content-Type: multipart/alternative; boundary="0000000000000c5ca805c9a1ff92" Subject: Re: [PHP-DEV] [VOTE] Nullable intersection types From: ocramius@gmail.com (Marco Pivetta) --0000000000000c5ca805c9a1ff92 Content-Type: text/plain; charset="UTF-8" Heyo, On Mon, 16 Aug 2021, 02:04 Tobias Nyholm, wrote: > It is to correct a mistake No mistake: the "pure intersection types" RFC was explicitly designed to avoid scope creep (this RFC). --0000000000000c5ca805c9a1ff92--