Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119059
Content-Type: text/plain;
	charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\))
In-Reply-To: <cb2ca327-fc62-4c2d-bde1-f95d50f53c49@app.fastmail.com>
Date: Wed, 30 Nov 2022 11:02:20 +0100
Cc: php internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <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>
To: Larry Garfield <larry@garfieldtech.com>
Subject: Re: [PHP-DEV] [RFC] Asymmetric Visibility, with readonly
From: claude.pache@gmail.com (Claude Pache)



> 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, =
MUST be strictly lesser than the main visibility. That is, the set =
visibility may only be protected or private. If the main visibility is =
protected, 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 =
`protected=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. =
That=20
>> should be clarified.
>=20
> Er.  That's exactly what it says: "strictly lesser" than the main =
visibility.  The lines after are just restating it.  "public =
public(set)" is 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) =
visibility**, {$some_restriction}.=E2=80=9D

In `public public(set)`, the set visibility does not differ from the =
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_restriction}.=E2=80=9D

=E2=80=94Claude=