Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:115696 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 27027 invoked from network); 12 Aug 2021 13:14:09 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 12 Aug 2021 13:14:09 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id C6340180212 for ; Thu, 12 Aug 2021 06:45:06 -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.2 required=5.0 tests=BAYES_20,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-ej1-f43.google.com (mail-ej1-f43.google.com [209.85.218.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 ; Thu, 12 Aug 2021 06:45:06 -0700 (PDT) Received: by mail-ej1-f43.google.com with SMTP id d11so11668635eja.8 for ; Thu, 12 Aug 2021 06:45:06 -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; bh=90npVK6eE/hfKwK6m1W3/hGebz/YOBeDk88VElLCFDU=; b=Rzzlxx4RJu/Jo8Q+kM9SobEsIIByn1Ni/JAoH+aAOaF+EoVPT6zdngKvC4bILB3OI/ 8x/5QZU7i5+IoEIBBvP3y63ZL2lthW4mXlmeZMi867XFCWlLl0jDCauTCkWtpCQc2HUp vHhSlCKmHp1lrTWWS5eR8rq9Ypya2MZtEAgTfYe/V4xwFHBZLXjHSYd4L0e25tSun+zm Od0tmb6if8IlKKeNnCB4y+sFtfB2k4jWiteaQfmyfBbP+ZpdZDpubYdQeoXUCQmAGaAa r9Jq/o5UwH3bAAlJACztnq8QsZjoZY3c81Uo9bJp/nez3PE4oLX2iUs26YsUkhXwNcvv uJLQ== 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; bh=90npVK6eE/hfKwK6m1W3/hGebz/YOBeDk88VElLCFDU=; b=V8HNon/+L2H0y3mdfrQh1KkxxhIcVBPloPbCjqDF5p1mxQWabY7USJHa44m0G3HJPe KTHu8hE2QRbxQtnzqORDusKgzC+2pTZPySEBacHllPGKEKKYdXvZttDKNzg/1LECZT4l gaUtMm99Npzut/FIWpxDBL2xdM4wp5/Pr+LzVFac4XG/28nC+U22XxyFn7tHOyCqmAuR u8j2RkKi4VXm4Bo2CHF6Ueqvmu7/XaRga6FHN1DBVlVwJb3pdT03AzwlWTk9r/QVOYSU ss8YieDDNq1XINkkiE6AZ0CnwWfcfdq/VtJSI9vmw6TPVQgYCZ+MkTccyRDkJF84252c 0EZA== X-Gm-Message-State: AOAM530E1xlJvxtR+1MOjcTe5dLPXOm0/QWYe8kuzvBRYpd/QtHSe9/B 0PEBvWCNtHV/zxnbcmih80MNuRz5WvZF74G8vLbeIaRyTn0= X-Google-Smtp-Source: ABdhPJz32y7JwE+3q1RiNvrMvw8sdUhNAwCnI1eOwGzoH87U8U9k26M7Nma+qGn95gjADSijxZ3m+VNyT7IUJgfkZ8E= X-Received: by 2002:a17:906:1ec9:: with SMTP id m9mr3836784ejj.115.1628775901219; Thu, 12 Aug 2021 06:45:01 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Date: Thu, 12 Aug 2021 15:44:49 +0200 Message-ID: To: PHP Internals List Content-Type: multipart/alternative; boundary="00000000000002cf7205c95cf1f3" Subject: Re: [RFC] Nullable intersection types From: nicolas.grekas@gmail.com (Nicolas Grekas) --00000000000002cf7205c95cf1f3 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. > Hi everyone, I think it's time to move on. I'm going to open the vote tomorrow. I'd still be happy to get more feedback before or during the vote! Nicolas --00000000000002cf7205c95cf1f3--