Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115499
Return-Path: <weirdan@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 29425 invoked from network); 19 Jul 2021 14:50:27 -0000
Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5)
  by pb1.pair.com with SMTP; 19 Jul 2021 14:50:27 -0000
Received: from php-smtp4.php.net (localhost [127.0.0.1])
	by php-smtp4.php.net (Postfix) with ESMTP id 75CBC1804AA
	for <internals@lists.php.net>; Mon, 19 Jul 2021 08:15:28 -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_H2,SPF_HELO_NONE,SPF_PASS
	autolearn=no autolearn_force=no version=3.4.2
X-Spam-Virus: No
X-Envelope-From: <weirdan@gmail.com>
Received: from mail-io1-f43.google.com (mail-io1-f43.google.com [209.85.166.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 <internals@lists.php.net>; Mon, 19 Jul 2021 08:15:28 -0700 (PDT)
Received: by mail-io1-f43.google.com with SMTP id x10so20339439ion.9
        for <internals@lists.php.net>; Mon, 19 Jul 2021 08:15:28 -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=TzKYKmoYQD8gCIDB2MA1FHDJjuqyTuNPhsz746I2SE8=;
        b=BMz00u+TOgOIqclFqLwb98YYJcil1LUvKFU9Dl1WUM/wBr9y+0sLZUyn12Xq13ZYTC
         VjKAaKltWAsLVtsL89AxG5RgMrY7v6eeqaEFtxEoMaLovLIXXcm9EHeH2SrqV09mqrIT
         jB5g05hWuJtvkZNSEIEIMkWmjt7ozQqqth4zWVbvzEnHj5Gbe0NnlB/Hd5fNuZ11e7Jv
         YvOljGZz2YwGRcpB0hBXdS1Z0avZ6LatDDvnFQSRiTNVeawXLVpOny/U3ecmUzzpt1oA
         R4pkAnHQx4QPFtCnS203jxAX6vLoGyrRmGEbLR9WG6sJQU0GsmRaedzDyxWpXYZpbwVB
         XZKg==
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=TzKYKmoYQD8gCIDB2MA1FHDJjuqyTuNPhsz746I2SE8=;
        b=WznmMbSuEHooAO1H4EVOC7cR0bEHhpmiM5pEqPi4/OrYb8ux6gEjG1NjSl/b8vM+sV
         8QpBiUyU03RFt4e+ebO4LvZFpFzqRDbRdJz/xE7+UBUv3FucMWclTP7gBL8S69PF8SVS
         GeqfRvXxMgodj7w2PfMHJxuTiyRAMfAEtqZns1QCwaJoNZc17uf68FfSTn6UYUBbkXuq
         EMk/aPvECmTX1KFpGdjhgAXvxEUxoxyPD8Gv9xh7o9Wjfq1UuWMa6PCKIX4HmEFCEVGQ
         R5DhYR1KxWZT9rVsIZl8qhTwXUe/blbmYRyrtOJHkXsjE5gxifuNAJlU22qVYNMAePPY
         bJ+g==
X-Gm-Message-State: AOAM531v2drAB3R8gvYXtBWnk7TLGfQ+b+SzZgBa6HuwaXHNNz0iLiyI
	dzSI38JUopqEy6ahZscpr3oSk4HEk8LDquM43H4=
X-Google-Smtp-Source: ABdhPJwbiWch5LosK7n4BY+zo1EXzRV+lLlYU8qDEnaZpdkETM5qmecE/Y1mvgWe8fYIyyPxbpVuGfPiCZ++PhtgKvk=
X-Received: by 2002:a05:6602:2155:: with SMTP id y21mr3406803ioy.16.1626707725683;
 Mon, 19 Jul 2021 08:15:25 -0700 (PDT)
MIME-Version: 1.0
References: <CAOWwgpm+PPhW6A5=Oi1tpdkQh9COGw5dQLE+Ek1p0BZ6T-xQsA@mail.gmail.com>
 <CAC5V6ggeLQYygZq13-Ux0VoSDiMUhAPR3Wr9AoT_oDoqu9yxgw@mail.gmail.com>
 <CAOWwgp=UhvGD2CjspXVSmDMHL6uf12sb_yS2JDUoEgON5boNbA@mail.gmail.com> <CA+kxMuR0B3_J1EdEpDDSq3JeNuL_Jv_tUZZywATY32itzegEdg@mail.gmail.com>
In-Reply-To: <CA+kxMuR0B3_J1EdEpDDSq3JeNuL_Jv_tUZZywATY32itzegEdg@mail.gmail.com>
Date: Mon, 19 Jul 2021 18:14:59 +0300
Message-ID: <CA+hqhpfZ7H5VUZ3bgtKgtArqukehyVoXTEMdWU_ZY20hUD9-mA@mail.gmail.com>
To: Dan Ackroyd <Danack@basereality.com>
Cc: PHP Internals List <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] intersection types and null for defaults, properties
 and return types
From: weirdan@gmail.com (Bruce Weirdan)

On Mon, Jul 19, 2021 at 6:09 PM Dan Ackroyd <Danack@basereality.com> wrote:

> Prediction number 2: Having a null type in the language will happen
> before PHP 9, which will enable people to have many bike-shedding
> discussions over ?Bar vs Bar|null.

Hasn't that already happened in 8.0? It seems to work [1]

  [1] https://3v4l.org/EfmJq


-- 
  Best regards,
      Bruce Weirdan                                     mailto:weirdan@gmail.com