Re: [PHP-DEV] Re: Attributes and constructor property promotion

2020-09-30 Thread Nikita Popov
On Wed, Sep 30, 2020 at 2:13 PM Nicolas Grekas wrote: > > > Le mer. 30 sept. 2020 à 12:45, Nikita Popov a > écrit : > >> On Tue, Sep 29, 2020 at 3:57 PM Benjamin Eberlei >> wrote: >> >> > On Tue, Sep 29, 2020 at 3:45 PM Larry Garfield >> > wrote: >> > >> > > On Mon, Sep 28, 2020, at 12:06 PM,

Re: [PHP-DEV] Re: Attributes and constructor property promotion

2020-09-30 Thread Nicolas Grekas
Le mer. 30 sept. 2020 à 12:45, Nikita Popov a écrit : > On Tue, Sep 29, 2020 at 3:57 PM Benjamin Eberlei > wrote: > > > On Tue, Sep 29, 2020 at 3:45 PM Larry Garfield > > wrote: > > > > > On Mon, Sep 28, 2020, at 12:06 PM, Benjamin Eberlei wrote: > > > > On Mon, Sep 28, 2020 at 4:35 PM

Re: [PHP-DEV] Re: Attributes and constructor property promotion

2020-09-30 Thread Dik Takken
On 30-09-2020 12:45, Nikita Popov wrote: > So, as there seems to be resistance to applying the attribute to properties > only I only see a couple of options: > > 1. Forbid combining attributes and promotion. That means we can still decide to allow it later, right? Which gives us more time to

Re: [PHP-DEV] Re: Attributes and constructor property promotion

2020-09-30 Thread Nikita Popov
On Tue, Sep 29, 2020 at 3:57 PM Benjamin Eberlei wrote: > On Tue, Sep 29, 2020 at 3:45 PM Larry Garfield > wrote: > > > On Mon, Sep 28, 2020, at 12:06 PM, Benjamin Eberlei wrote: > > > On Mon, Sep 28, 2020 at 4:35 PM Benjamin Morel < > benjamin.mo...@gmail.com > > > > > > wrote: > > > > > > >