Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:110597
To: Benas IML <benas.molis.iml@gmail.com>,
 Dan Ackroyd <Danack@basereality.com>
Cc: =?UTF-8?B?TcOhdMOpIEtvY3Npcw==?= <kocsismate90@gmail.com>,
 "G. P. B." <george.banyard@gmail.com>,
 PHP Internals List <internals@lists.php.net>
References: <CANeKSiR18yf7modMbr5ZB5XSe6a3MKwurdZeq9L2g3X=OpUYSA@mail.gmail.com>
 <CAFPFaMLx4XXmzCbfm-O-qoKxS9GA5FsN44H9vgHAzJ09L66mtg@mail.gmail.com>
 <CAH5C8xVH2RdPStkW8DsEYBCANT2KrE2_QKUFQy4+ZQRg4-1q3w@mail.gmail.com>
 <CANeKSiR=cD=J1eot5SmXWVqq-PC6mPjBg9im26WZBMM1hwGj1A@mail.gmail.com>
 <CA+kxMuTuWiAMgBr=1o_O1oAOi2cwLBBCXeAbFpNGNk4SMcHYpQ@mail.gmail.com>
 <CANeKSiTiyv7=CpUvKNzGmk5dZO_9WTGEpbTfYcATM1_J9U75yw@mail.gmail.com>
Message-ID: <41a79208-f165-451c-4815-60daa432286f@gmx.de>
Date: Tue, 16 Jun 2020 16:36:43 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101
 Thunderbird/68.9.0
MIME-Version: 1.0
In-Reply-To: <CANeKSiTiyv7=CpUvKNzGmk5dZO_9WTGEpbTfYcATM1_J9U75yw@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [RFC] [DISCUSSION] Allow void return type for
 constructors/destructors
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 16.06.2020 at 16:19, Benas IML wrote:

> I meant something like this:
> ```
> <?php
> class Test {
>     public function __construct() {}
> }
>
> class Test2 extends Test {
>     /* this is legal */
>     public function __construct(): void {}
> }
>
> class Test3 extends Test {
>     /*
>      * this is illegal, even though no
>      * return type means mixed|void
>      */
>     public function __construct(): mixed {}
> }
>
> class Test4 extends Test2 {
>     /*
>      * this is legal, even though we are
>      * widening void type to mixed|void
>      * but LSP checks don't apply to
>      * constructors and destructors
>      */
>     public function __construct() {}
> }
> ```

Currently, constructors are exempt from LSP checks[1]; are you planning
to change that?

[1] <https://3v4l.org/PeDCY>

=2D-
Christoph M. Becker