Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:115554 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 71705 invoked from network); 23 Jul 2021 09:32:18 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 23 Jul 2021 09:32:18 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 47375180212 for ; Fri, 23 Jul 2021 02:58:14 -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=-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-ASN: AS15169 209.85.128.0/17 X-Spam-Virus: No X-Envelope-From: Received: from mail-ed1-f50.google.com (mail-ed1-f50.google.com [209.85.208.50]) (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 ; Fri, 23 Jul 2021 02:58:13 -0700 (PDT) Received: by mail-ed1-f50.google.com with SMTP id b7so1054706edu.3 for ; Fri, 23 Jul 2021 02:58:13 -0700 (PDT) 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=zhv12Rt1z5py84uwk0fZVESgdDi0j0Su3yf6vCdIBg0=; b=k3hKjO/gvIDCJ05EnUWQeqRdtddjmkoipWYE7jdCPfkZYwPa+ses/CbvDcrsy3ouVG 4q/pUIaaMRKw6YDihrwjKjhiOr0jlfEyFTcSplud0fkrjwjmq7KV+dRsu279jtzoa5JA lOOUt7emXI1qBT01xMMessdKRJaWJhg5NNuRZZzaABxiftcH2boMY7Nq/6v2qAi19xCb U2Iukj2qoN/B7ODD4XhtOIwcRf45aHl75WRMciaFc3kf0NjkumOFQ01/hColv7P9qEk0 6gLbKzQlyKR0/kXNjtgHdYrbTnJbAEkO3YTvW4XO5ab5n4IdATFhBL8hUMZRMnnkNY/t uObg== 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=zhv12Rt1z5py84uwk0fZVESgdDi0j0Su3yf6vCdIBg0=; b=MbTXk4ZebGpncpf8pgwepPDeOIHI9Fjyg2GTLDTcJu7R+g8g6DdPWFuDYgFuLyyrPh rMquRTUwyPQfZbN63jY0/tE2KE+JnnGqtb5yskSQSaY0wJRtubHLQruXCRMBKMbu7TZM +KDQCwcUl3gSy7CVnN+SwwqcUTHcb5MlFIunxzxpYim0XZrBScqi53p5wo/HZxvKvzn9 7LcSrkfKUgGG2Qa71Vb/wM30kdd33r8VFyKxAWh7Aimtk7LegsXqxi+xTOScwEhxjO3J DRF07Rwp6lu+Ag6p3XyDjc/eJnp6ks1OByjb6dpTXvSW1cKqa7aptORBpXBy4RhlpO+u ZRLw== X-Gm-Message-State: AOAM530Cha1Mv3lx5SLVJ6sJc/1e8jBpMAVEzpUCfoy3l5F4WT9K+jmC RvbvsUergwz1boAtDF/UTp2gQYtyhtQTDkE+/8N33QHD99aJLg== X-Google-Smtp-Source: ABdhPJxjffdk0sZpM/kPPL9TkaFGnRAuZqv8CLZwhtv+IQ0tht1hEH2dIGNDlAYEv4mwy5N8g+LDRs8DO0J8vljSWNs= X-Received: by 2002:a05:6402:1771:: with SMTP id da17mr4565726edb.23.1627034291588; Fri, 23 Jul 2021 02:58:11 -0700 (PDT) MIME-Version: 1.0 Date: Fri, 23 Jul 2021 11:58:00 +0200 Message-ID: To: PHP Internals List Content-Type: multipart/alternative; boundary="000000000000fcd0b905c7c7703c" Subject: [RFC] Nullable intersection types From: nicolas.grekas@gmail.com (Nicolas Grekas) --000000000000fcd0b905c7c7703c Content-Type: text/plain; charset="UTF-8" Hi everyone, as proposed by Nikita and Joe, I'm submitting this late RFC for your consideration for inclusion in PHP 8.1. Intersection types as currently accepted are not nullable. This RFC proposes to make them so. I wrote everything down about the reasons why here: https://wiki.php.net/rfc/nullable_intersection_types Please have a look and let me know what you think. Have a nice read, Nicolas --000000000000fcd0b905c7c7703c--