Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119100
MIME-Version: 1.0
References: <994B8839-2A69-4522-95D7-BF1B19831677@php.net> <a3441916-1ba2-4945-1ac9-94958fb97130@anthrotec.de>
In-Reply-To: <a3441916-1ba2-4945-1ac9-94958fb97130@anthrotec.de>
Date: Thu, 8 Dec 2022 15:40:03 +0100
Message-ID: <CAPzBOBMPsaG9GKEoHTsePMg=m87wa=nh5Ss7mebGqMc=Nx1NAg@mail.gmail.com>
To: Thomas Gutbier <thomas.gutbier@anthrotec.de>
Cc: internals@lists.php.net
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] What's new in 8.2: DNF types
From: landers.robert@gmail.com (Robert Landers)

On Thu, Dec 8, 2022 at 1:39 PM Thomas Gutbier
<thomas.gutbier@anthrotec.de> wrote:
>
> I think in this example the check for null can be removed.
> The feature is so much more useful than presented here.
>
> (https://www.php.net/releases/8.2/en.php#dnf_types)
>
>     class Foo {
>         public function bar((A&B)|null $entity) {
> -          if ($entity === null) {
> -              return null;
> -          }
>
>             return $entity;
>         }
>     }
>
> Best regards
> Thomas Gutbier
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: https://www.php.net/unsub.php
>

I'd also like to point out that this doesn't cause a fatal error, at
least in the latest RC (I haven't tried the official release yet).

trait Foo
{
    public const CONSTANT = 1;

    public function bar(): int
    {
        return self::CONSTANT; // Fatal error
    }
}

class Bar
{
    use Foo;
}

var_dump(Bar::CONSTANT); // 1
var_dump((new Bar)->bar()); // 1