Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119102
Message-ID: <7f80a08c-4ae2-bc24-69ea-773a536cc2ad@gmx.de>
Date: Thu, 8 Dec 2022 16:14:39 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Thunderbird/102.5.1
To: Robert Landers <landers.robert@gmail.com>,
 Thomas Gutbier <thomas.gutbier@anthrotec.de>
Cc: internals@lists.php.net
References: <994B8839-2A69-4522-95D7-BF1B19831677@php.net>
 <a3441916-1ba2-4945-1ac9-94958fb97130@anthrotec.de>
 <CAPzBOBMPsaG9GKEoHTsePMg=m87wa=nh5Ss7mebGqMc=Nx1NAg@mail.gmail.com>
In-Reply-To: <CAPzBOBMPsaG9GKEoHTsePMg=m87wa=nh5Ss7mebGqMc=Nx1NAg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
UI-OutboundReport: notjunk:1;M01:P0:3fd4ohotTPs=;7fvu4Gn2r7HQIwWJu5JEgHR7kcu
 /Xyn1HDdFYSOrMalJGuZ0WpzSFD9kCCNKPK/qk/OUeLeotIER2FXTg6O0GCHGt2uOJHzbxEZX
 Xjmr3j8SZikYP07zeCuV+cto3dgHQWJQrjUyXeshlEMzPxwxCX3P8bo7GXJO4rw5pnZaKdi2P
 bRIBlj6hIxkv+o4x3Les+7Vto778I5j3nW4cr+aUxYNxZYj7UI/Erk032r6QlhvIu26GvpDE5
 E9zNJH3HBCGCngf4bxBNv5VYA51jCiW8Z8teyAYqchMB3VXxjVTnmGVwdbIlISQ+lDArwtI4D
 Qa+QFUFW2aMEH8vdQbx/j49bj1Ml4CCqrQc/97VHHhcqzB7/y8Hzu5XeBF/BPOOeFwAt21OOS
 8SuxyRdwYlm96ouBfJQChkKFOYZj7qynbfeAi0iTqj9Jie9iMelrvl1Ux6ZOfikSf/BWY0kl3
 I1NvfZ4tOvAeUWvWMYZiukx+8mq+riiGFaluU+yCbDi4ZI01mrvFakYscoaYCyJH/IwYfHslY
 JmEl9YfVB/PGLbT2UhZSDABpwTxnYbLv1ALGaeUS36gKwi+KfbUzmg1tdya6Lq0SsFOuawECH
 9dgsMCuuPIH2VaD+R1PPDdtqCRw1uYZOObnwtkaxF9FTwGn8qJy983UU554wwW7tK8ZEae9IH
 kqkLZaeyltnxY6qbi15qyA2i4JfE2yDrSeLP1kMFB9C0n/vfEiNtwKHuteQ79x+I6F2A55kWq
 u1+0Km6ayfK+Ri6dTG2LUVjTVCw2QQ+6k/LlZKgNV0sUuIuzcOVvERfBtZ4JUtiXZlgUkd8mC
 JkxFi5dvfoYhwIeg4U9LuudauHLrtAqoTV45pgaKz2nEWCaE5DpQQdr07/CL4+ZgWnuvCI/ar
 ADvZsqBiimgGalAHo5iNA1dYH2wk9QABmHBkn7rzywvpVjS920AZ3OJoHIK/4ekEokzO9+lZm
 dt0AcQ==
Subject: Re: [PHP-DEV] What's new in 8.2: DNF types
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 08.12.2022 at 15:40, Robert Landers wrote:

> 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 =3D=3D=3D null) {
>> -              return null;
>> -          }
>>
>>             return $entity;
>>         }
>>     }

I think accordingly there should only be a single if-statement in the
PHP < 8.2 code sample.

> 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 =3D 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

Indeed, this example is borked.  There is no fatal error at this place
prior to PHP 8.2.0 either; rather, line 5 raises a fatal error ("Traits
cannot have constants").

=2D-
Christoph M. Becker