Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129961
Content-Type: multipart/alternative;
 boundary="------------WERFVbRR2B90IeAR5VdfFLdK"
Message-ID:
 <AM8P250MB01705F55945F97FDD4145660E29CA@AM8P250MB0170.EURP250.PROD.OUTLOOK.COM>
Date: Sat, 31 Jan 2026 05:15:07 +0100
User-Agent: Mozilla Thunderbird
Subject: Re: [PHP-DEV] [RFC] Allow Reassignment of Promoted Readonly
 Properties in Constructor
To: Nicolas Grekas <nicolas.grekas+php@gmail.com>,
 Claude Pache <claude.pache@gmail.com>
Cc: PHP Internals List <internals@lists.php.net>
References: <CAOWwgp=JtbTSVCv9z=QGx9yS=8G72L-hcAjcOj33eEMLB0zfvg@mail.gmail.com>
 <FBFBB33D-7135-49B1-9F91-5E10F3248AB1@gmail.com>
 <CAOWwgpkdXaTBx+6Ke8dw=oTOqFUZfw30FTNYzxQDA4EYjvGiVg@mail.gmail.com>
Content-Language: en-US
In-Reply-To: <CAOWwgpkdXaTBx+6Ke8dw=oTOqFUZfw30FTNYzxQDA4EYjvGiVg@mail.gmail.com>
Precedence: list
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
X-MS-PublicTrafficType: Email
X-MS-TrafficTypeDiagnostic: AM8P250MB0170:EE_|AM7PPF40ABF2DE4:EE_
X-MS-Office365-Filtering-Correlation-Id: 1a961ce9-d456-43d9-92be-08de607f5226
X-MS-Exchange-SLBlob-MailProps:
	Cq7lScuPrnr9cOglUl1urTSFBsjx1OD0b5q0dv6jEVfimimPepvXyL8+5hsg0qoFX0gmoyedEdINrPggSqYGKO7QR2lr1nZUs1KJ7yuB6p4gpXO0dGQFFdBJWR5s/NlmN3zyVDp4YsDGtQK51RXjaTG+pQdkBTv9CFM26qrkHmig3yTqC5pp6HuPVlN8t2A4JJ73y1a1reRfE68eFeKRXUoU67gkkAiiCTxbss1ziX0y8gj01th7d+/d3GcLEFUrS7WxZ49AXFwFLfCUDQUiIBgC6Gucb9VqN8yTeKFEtmVnMmGMSxN8QLvmnPwK6IYjRdrs6oxQwvkMOgIuxhipsce87DDSmVLmHw/rnOd/bgOrb95btnRDfIyxaiQ6kVBZXmUYnjRNHZYt+cW1VH0wMdD7HXa+jlgLuYnqHB1ZudcI8E9dCTpSNSfeYWF53BEVg/EKp2330Tem7DuyE166piVGFo8+wXHTqFQG3cfg4TrI9b2kzneKDbsdGd6e5PqCE7TTCbkbdEkyAlrGomjGxwqknn2r+jvwCWO8nN6jY2Wf1UcVk8e92l6ggR5MRDvKXPktskEeTQuT5KKUJDRzj5UVyMgnFOdaqIt27LtMZx1m1GG3+3qVBPu9biCFrhJbGK0ljdXN5i125814B04JSgQFL6iNSfE52zglKo8+7NtUvpOLNxSHyzR6bkCGAA7vO3VRSw8V55HsjXSWDvAhy8wNNk93bYlmupTt/GrPjsj8DHmJG32cWi8RjoPTTEE+MEyKFy623sY=
X-Microsoft-Antispam:
	BCL:0;ARA:14566002|19110799012|8060799015|5072599009|51005399006|461199028|23021999003|15080799012|12121999013|440099028|3412199025|40105399003|26104999006|19061999003;
X-Microsoft-Antispam-Message-Info:
	=?utf-8?B?RW5ubi9mTlJGNkMvSXRYN3FEQjlUMW4xT2xESlZ5OU9ONzBWekpaZ1BRZ1Jz?=
 =?utf-8?B?ZHVjSFF3RTFSaUhkKzV2bExXQ0JudnBiL3RCVGlIS1l1M2kxVjVyQUkzcHF4?=
 =?utf-8?B?b2crWjNLN3MwY0RvVDZKcnNFaG9JY0xWT0RHQzUwSHlsTGR3TzdOTDRTWlFF?=
 =?utf-8?B?YVNsWmVlaHYvNVYvUDlSZjRNVTZSTWM3MTdUcmlVZkNwMzdCWHNFUXJFTXlu?=
 =?utf-8?B?RUMvemRqY1cxcVBpUktMVVVwS2o4eVY5RHI4alB6RmdqUVE1V3RrSFlycG5F?=
 =?utf-8?B?MTAzSUUwbDFmRlhhMHBnb050aDJ4dG9KWDZHbEVNYTVyMUZ6VFlpWGU4dmdo?=
 =?utf-8?B?dXpsNHB0QXpTbkF0M2lsYnZ4NTJ5WXJFRTBORVluMHhsNlZzdUxLU3N4QkpF?=
 =?utf-8?B?TExlMlBqYUVNTFFSemg3ZFVIemNjMFJ5eWlGV3lzekp5WUE2bUNDOGtnSVJq?=
 =?utf-8?B?SkVDaW43cHMyM1RWSXdmdkM3U2ZScTVpMXBXcC9TK28zOHJHUnJLRGFaeHVI?=
 =?utf-8?B?anR2N3lXSGFCSzFhT2lLY2R6N0JxdWRqbEh4eUdGRVk1eGdLYU1lK0I4N0ND?=
 =?utf-8?B?a0VjT0wwcUliNzJVa1RaVyt0T0RTdTlDMktUd0tJN2VSaThPWkp3NFZGdzZH?=
 =?utf-8?B?YWo3V0Jrb2ZTQnM2cjFubVhnZmVkSWQ2OW1idERjeFdkRGk5R3E2T2lRc1Iz?=
 =?utf-8?B?MURQaUhFT3U1dTdRVlZ2QkduWTRhM3dkRG5hWkhGWGIrUmdSemovOUNRVzJr?=
 =?utf-8?B?YUl5UGlEcGJieTh0WE4wL3BzWktBdHFONmtNUW1qNjNDYjZoZ2dJQmZPaXBL?=
 =?utf-8?B?YmhuRUJhMWxkWG1MMmhZQlNNQnB0Z0NXZW1YakduUnE5NldhODMxTFowdmt1?=
 =?utf-8?B?L1N2aExaRzRkR3haaDVhcFpnZTVDWVFhQThScGJnc0h3dTBTdHNxSDdhTEJs?=
 =?utf-8?B?cDNxZTJiLzlJbGxNVjNXTVduK2R3L3VwbHV1dmhqSDI3YzRyYjYvVHZ4V3dw?=
 =?utf-8?B?MjdQK25reFk5dXN6ZG9uZnl4UjBReDhpNkl3Q3lSTnloR2Y4QVYzbjdPVWxs?=
 =?utf-8?B?N3dnSE5CZTJqVFVwalVhZm4waXZLK083WmdwSTluMnRsNGw2OGFsUGRUQ2tz?=
 =?utf-8?B?NTVrTGx6OVZYMkdpVzJqNG5YNTR0UDJITFU3anlwclNtTE9lUnhzb0lGNUNh?=
 =?utf-8?B?QmQ0TXBLdFhFdngzcVppWkloRzAyM2FIb3htSzNwTmkweEdkMldNOUF1cFpt?=
 =?utf-8?B?UXMwZ2lCWHdUcGtQU2NxNlpUeFRsQXF4aFllZlhLVVY3NW5VZW83cWtmRkc0?=
 =?utf-8?B?Q1lxOENPTi9ja1dxeTNNTldObTdvWG4zVFc4ckdnVitkZmliWTZRRHRaYmRn?=
 =?utf-8?B?eEdWRWVWVTI4RkVnNld0NDZ6NFVZOXVyNStVampwNG1sQnhHc0tVWGR4M2RV?=
 =?utf-8?B?enZPLzYyRzI5Nys0Y1ZZYy9KeHozaU0vbW5YdjcxWVdjK0YxdXorMVQvaHFV?=
 =?utf-8?B?cFVEMnRCcUtReGplVW0zUFhWY1BzWHRJWjF4azN1RXpxN2VMczRtRm9rZTVQ?=
 =?utf-8?B?WGY3Um5sd01raTNFU0N5MTZzcmhJc0lRMU9Mc2xyRjJFYUZ1WFpkemlIckhF?=
 =?utf-8?B?aGk4REFRT0VpTW92bXFsNEJwU0kvL0g3b2xsVkFTaTRtanhvb3lxTmw5SXho?=
 =?utf-8?B?L3VpUEM4SkxYRGF3dVNQWTZNbDRDRzJTVFU2Q0xMSENkMEsxSTlLU0lnPT0=?=
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0:
	=?utf-8?B?V0ZtWlhMbFczRG5IUnhYZTQ3Z2ZjNHpvb3RrZlBKVWw5TWRzWEdLS05GTE4y?=
 =?utf-8?B?aldTcEdaSFE4K214dmhVdDhwbS9VUmVBMEhsRUg0bCtrSFI3NzUzaVR3ME4y?=
 =?utf-8?B?Sk9NM3pNaVJ3U0dXU3JBVWQvdWFZVmJRbnJEUGdIcG9LdXUrT2w3eVhtVmZM?=
 =?utf-8?B?eHhDbW4yZW9lRDI4ck1FbDNIVTFyWUFQRllod0p6L01JTFpubmRmblhTQU9G?=
 =?utf-8?B?SkxRaDdyamkvMHlLOC9INWlyU0JqdEtPaGoxeGFEcjV4TWFxZ0tOZEdoWHZw?=
 =?utf-8?B?c3VFeEo3OW8rcStvbklrb2duZWhyVmFlUlpsdTFWMm40enlydGtyMTZnc2VY?=
 =?utf-8?B?N3o2NFZ2NmFuS0NBMkpmQlVjNjF2TTR3Q3lYVnhSS1o3dmJoVGx1eUJNRDdX?=
 =?utf-8?B?SWc2Qmw0MUtBbDJJRmp3OURSWFVueWo4NXdHVWdBRzk1cFVFOTVLbFRRc1BN?=
 =?utf-8?B?YkY3UFU4eWc4VXpVM2tIVzVySnRTRWh5ZXJWNVZMeGdqMExvbTk3SnJ1bFVU?=
 =?utf-8?B?c0RwUWYvSHFNWjRMakhCSkRVdGlOdmlENzJMUWh4TTVYZXg5ZmJDU09LQnIz?=
 =?utf-8?B?NHNGM2pLSnZvM3ZFdzJqWnFzZmVoRFgzenNZVUgxRXNtZ3ptTllOMHVPekZo?=
 =?utf-8?B?bjh1VCtGT0lYYVlFenhNL0lZS3JkaWh5UU4xL3pBMnYzelB2WDRsMWRESktB?=
 =?utf-8?B?TS92Mk1WWUw0SC9qbUJCQVdVWkVWQytFTkdEdGVrRVVINTZhZFRlMG5VR21I?=
 =?utf-8?B?ZW5UUzNKNm9oRENYTlV5MVRlRm9KOFVxV1hhNUV1cDM4bzNnMys4eldTWjRu?=
 =?utf-8?B?QlNxeURXbFBBb0FJRmVDemI0RXFjclB5dUhJRlFCc3NPckVwOHdsTXIwMkZy?=
 =?utf-8?B?UlliTDc2ai9PRXpqMytSTnp0Nmc5TlNLUkNZRGN5dW8wakMwUWhLOXRDUTRk?=
 =?utf-8?B?a1k5c2c3MmZqU0hyaEVROS9GMW5KS2JHSHBLRjU3T0hjVWlyRWEzWDJNaWI3?=
 =?utf-8?B?ZWtxYU0wemVKVmozb252anVobUZERm5haEVra1pGNWFyUTA2TXRrYXQrQjh3?=
 =?utf-8?B?cFpLVEk2MmZocEt4NW9wNXAzSVdSSDlHZFMxcVMraHB1RGpIRVRFUi9SOCtz?=
 =?utf-8?B?TDlRWHB3N0hMOGRrbWVya0FkektBZEdCOFU4NDNidlBiYk5lQUNIcHpxZjdr?=
 =?utf-8?B?YWdUTHJ4aTNQUGFvNXRMaW1VOHhIWFJVS1JpeXB5Q3ZDTUo5SzV3cjBoSlJt?=
 =?utf-8?B?cERZbllrYmduTGFydS9uemJBdlJwY2ZVOG5ZOU5QL05DcmZ0TW4wdTd5N1BJ?=
 =?utf-8?B?YWFkL2pOb01CZExKd2wrVTJ4UTBGdFZUVmxqbXRNc2o5RE1NblZBMlMzR2ZU?=
 =?utf-8?B?WURPaDRMQU9RR1FRV2JJWlVCd3dTdmZ0cW1pQ3gxc3o3QUNQNkdDRTFrRzVm?=
 =?utf-8?B?MUVFQzl6dlVzWmYrSnhjTi9KTVZyek5mc1Nrb09Ca0Y5cWhET1piaWliR0lF?=
 =?utf-8?B?VEdYM0t0ZzBoc0gxSVRnTld5VFdPdURoTlZVV2ZKM1Iwd0JOb3MvdERHZERu?=
 =?utf-8?B?eFI1a3kzQTlnY242Y1gxcG9kYURxLzNZRUEybGRkUm1RbUkwMkFZaFhyT0Vk?=
 =?utf-8?B?dm5KaENwekFicmVIcVd4aU5nQXlHRjQ0VngyVUhDOVNHN0x6VStEaS96V21y?=
 =?utf-8?B?eDZ6c081VXVjMTFDVC9tUTJwem1RaFhSdEcxUEI0MFBJcUw4MmNwOHNrK2Na?=
 =?utf-8?B?TW9RYVE0dSt4TjdWN0pkQUZLMENEeTN2bVNFZktHOU9Md2lvZDMzUUk5RWFy?=
 =?utf-8?B?UWQwaURRUm1leTdzRXYvWGZTMnhHNXorVmxPaGtaYUFtdG5oVDRsbkpFWXpR?=
 =?utf-8?B?U2hXTUlEYXVsM1pzcktDb21NUlVoeGNBeTFOT1FWeW80Z0huUjBKRmRGYUlL?=
 =?utf-8?Q?t4CpJxxx8ALFy9CrAshZ5Tnn5Gmd8/MA?=
X-OriginatorOrg: sct-15-20-9412-4-msonline-outlook-eee9a.templateTenant
X-MS-Exchange-CrossTenant-Network-Message-Id: 1a961ce9-d456-43d9-92be-08de607f5226
X-MS-Exchange-CrossTenant-AuthSource: AM8P250MB0170.EURP250.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 31 Jan 2026 04:15:09.2236
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg:
	00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM7PPF40ABF2DE4
From: bobwei9@hotmail.com (Bob Weinand)

--------------WERFVbRR2B90IeAR5VdfFLdK
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit

Hey Nicolas,

On 29.1.2026 17:36:11, Nicolas Grekas wrote:
>
> Thank you for the thoughtful feedback. You raise valid points about 
> type precision and PHPDoc annotations being harder to express with CPP.
>
> I've added a "Design Considerations" section to the RFC acknowledging 
> these tradeoffs and clarifying when traditional declaration remains 
> preferable (type narrowing, detailed annotations, complex 
> initialization) vs. when CPP + reassignment fits well (simple 
> transformations like trim/lowercase, validation with fallback).
>
> The key point is: this RFC adds an option, it doesn't mandate any 
> style. If "final at declaration" clarity matters for a specific 
> property, traditional declaration remains available.


I do generally sympathize with Claudes viewpoint here.

While it's true that the RFC only adds a way how to write code, it also 
removes the currently valid assumption, that, whenever a readonly 
property is declared in a constructor arg, the arg will be exactly 
identical to the passed value.


I will likely vote abstain on this RFC. I'm on the fence between "we 
should have this" (I can see that not repeating the type and variable 
name has some benefits) and "this muddies the readonly semantics".


Bob

--------------WERFVbRR2B90IeAR5VdfFLdK
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit

<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body>
    <p>Hey Nicolas,</p>
    <div class="moz-cite-prefix">On 29.1.2026 17:36:11, Nicolas Grekas
      wrote:<br>
    </div>
    <blockquote type="cite" cite="mid:CAOWwgpkdXaTBx+6Ke8dw=oTOqFUZfw30FTNYzxQDA4EYjvGiVg@mail.gmail.com">
      
      <div dir="ltr">
        <div class="gmail_quote gmail_quote_container">
          <div><br>
          </div>
          <div>Thank you for the thoughtful feedback. You raise valid
            points about type precision and PHPDoc annotations being
            harder to express with CPP.</div>
          <br>
          I've added a &quot;Design Considerations&quot; section to the RFC
          acknowledging these tradeoffs and clarifying when traditional
          declaration remains preferable (type narrowing, detailed
          annotations, complex initialization) vs. when CPP +
          reassignment fits well (simple transformations like
          trim/lowercase, validation with fallback).<br>
          <br>
          The key point is: this RFC adds an option, it doesn't mandate
          any style. If &quot;final at declaration&quot; clarity matters for a
          specific property, traditional declaration remains available.</div>
      </div>
    </blockquote>
    <p><br>
    </p>
    <p>I do generally sympathize with Claudes viewpoint here.</p>
    <p>While it's true that the RFC only adds a way how to write code,
      it also removes the currently valid assumption, that, whenever a
      readonly property is declared in a constructor arg, the arg will
      be exactly identical to the passed value.</p>
    <p><br>
    </p>
    <p>I will likely vote abstain on this RFC. I'm on the fence between
      &quot;we should have this&quot; (I can see that not repeating the type and
      variable name has some benefits) and &quot;this muddies the readonly
      semantics&quot;.</p>
    <p><br>
    </p>
    <p>Bob</p>
  </body>
</html>

--------------WERFVbRR2B90IeAR5VdfFLdK--