Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119060
Feedback-ID: i8414410d:Fastmail
User-Agent: Cyrus-JMAP/3.7.0-alpha0-1115-g8b801eadce-fm-20221102.001-g8b801ead
Mime-Version: 1.0
Message-ID: <0a7572f0-5b26-4a01-921e-cb5856b0d226@app.fastmail.com>
In-Reply-To: <76017DB6-5DC3-47C7-9C50-5BB42E070280@gmail.com>
References: <0854b030-c51c-4c1b-a7dd-22835a1e5da9@app.fastmail.com>
 <831b9906-dc0c-420c-b22f-8a0cc8a1ad64@app.fastmail.com>
 <434BDABD-8551-46C8-98EC-8CA87952AE25@gmail.com>
 <cb2ca327-fc62-4c2d-bde1-f95d50f53c49@app.fastmail.com>
 <76017DB6-5DC3-47C7-9C50-5BB42E070280@gmail.com>
Date: Wed, 30 Nov 2022 08:56:56 -0600
To: "php internals" <internals@lists.php.net>
Content-Type: text/plain;charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [RFC] Asymmetric Visibility, with readonly
From: larry@garfieldtech.com ("Larry Garfield")

On Wed, Nov 30, 2022, at 4:02 AM, Claude Pache wrote:
>> Le 30 nov. 2022 =C3=A0 02:27, Larry Garfield <larry@garfieldtech.com>=
 a =C3=A9crit :
>>=20
>> On Tue, Nov 29, 2022, at 5:46 PM, Claude Pache wrote:
>>=20
>>> In the RFC, section Permitted visibility=20
>>> (https://wiki.php.net/rfc/asymmetric-visibility#permitted_visibility=20
>>> <https://wiki.php.net/rfc/asymmetric-visibility#permitted_visibility=
>):
>>>> The set visibility, if it differs from the main (get) visibility, M=
UST be strictly lesser than the main visibility. That is, the set visibi=
lity may only be protected or private. If the main visibility is protect=
ed, set visibility may only be private. Any violation of this rule will =
result in a compile time error.
>>>>=20
>>> The first sentence does not forbid `public public(set)`, or `protect=
ed=20
>>> protected(set)`, etc. (the `set` visibility does not differ from the=20
>>> main visibility), but the rest of the paragraph does not allow it. T=
hat=20
>>> should be clarified.
>>=20
>> Er.  That's exactly what it says: "strictly lesser" than the main vis=
ibility.  The lines after are just restating it.  "public public(set)" i=
s not allowed.
>
> As I understand the first sentence (what it says, not what you meant):
>
> =E2=80=9CThe set visibility, **if it differs from the main (get) visib=
ility**,=20
> {$some_restriction}.=E2=80=9D
>
> In `public public(set)`, the set visibility does not differ from the=20
> main/get visibility, therefore {$some_restriction} does not apply.
>
> My guess is that you wanted to say:
>
> =E2=80=9CThe set visibility, **if specified explicitly**, {$some_restr=
iction}.=E2=80=9D

Ahhh... I see what you're getting at.  Fair point, I'll adjust it.  Than=
ks.

--Larry Garfield