Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:130881 X-Original-To: internals@lists.php.net Delivered-To: internals@lists.php.net Received: from php-smtp4.php.net (php-smtp4.php.net [45.112.84.5]) by lists.php.net (Postfix) with ESMTPS id 7C1691A00BC for ; Thu, 14 May 2026 02:18:54 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1778725139; bh=FI6/OVv2Qbas/pgs/JPvdG/IhnxvSJqjfhfZPXVT8o4=; h=Date:To:From:Subject:From; b=M+VEU2wAJRC8PWiA2VkUW/LGD5y5Git2OOEKBD1GqqIHhRyX4/UaIfrxmU41IknDI ALf/4A43TlPidE+sA2RE01crUAJXZE7fU2Xiq8J845fqmM4oROSXU0Roh6uA2TSWzu fpdayRSLEVAfKx5UqqkLsR1tC1Em/MnewtNb5KjdcqhjCqn5e8QjxdXDlPXc5N/vUY dqp7n+x6cKekymdzSJb22nXT3d2bKxPj+2DE6YLZKsgzpoRR+awNepwND7Arb6CdQK 8BMWsSyb2ynp2jjnW0x4qfeym+xOtlJblcGimlFyTMlDlwRtLjPctMD3FBIk07cxz0 MgR+RRNFUzNzw== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 6BF7918002E for ; Thu, 14 May 2026 02:18:57 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-0.1 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,DMARC_PASS,FREEMAIL_FROM, HTML_MESSAGE,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS, SPF_PASS autolearn=no autolearn_force=no version=4.0.1 X-Spam-Virus: No X-Envelope-From: Received: from mail-106101.protonmail.ch (mail-106101.protonmail.ch [79.135.106.101]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Thu, 14 May 2026 02:18:56 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1778725128; x=1778984328; bh=FI6/OVv2Qbas/pgs/JPvdG/IhnxvSJqjfhfZPXVT8o4=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=XD4RvmWEK4ChUibFUI4wxwxN34UdkFW0oBsdjs+L3rPWhTuR0ZqV0XNhUsN4bzeZs p+yXh8fYRxraShBvpy41zd8YMWl6laVDFMA6qwJvAwtr91p3mwoz/lHhPSbj8Edbjk qjzVvP+0uhIL2XNkQn0eR8Kk/SJp1PfpVjNf+1OMtSg9XcupcRubrKyH4fNDfmfB1j ZfYb657diwaLP2Rt4k7EhjF9pLZhcwVZKsgUSgR4H997S4zVGHjVHLyfha8ABhtPFX 8Kh1OcfHjCMYUKaxl30uHyqa1S33eNVdEy2brSyTjh1TvA0J7yChSrC91fZKhR0KCp hdAyke0o6T5CQ== Date: Thu, 14 May 2026 02:18:45 +0000 To: "internals@lists.php.net" Subject: [PHP-DEV] Re: [RFC] [Discussion] Bound-Erased Generic Types Message-ID: <3K5MTODekykPV03pv2WWeEWRvlzp8A1GQGL3quxMDuG-mcCnP47yL75r-W22tnYejXypKI3UEzvXyq1iCTQAFfNLprTgp-WtMsVfF9Y20Ak=@protonmail.com> Feedback-ID: 11718954:user:proton X-Pm-Message-ID: 404938af468be92255689a1ce111ce8f1cdb03fb Precedence: list list-help: list-unsubscribe: list-post: List-Id: x-ms-reactions: disallow MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="b1=_MV0h3O8sApgpc9Z2XvQom4VsizwOsOU6BwCp1VgLhw" From: zebulanstanphill@protonmail.com (Zebulan) --b1=_MV0h3O8sApgpc9Z2XvQom4VsizwOsOU6BwCp1VgLhw Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 T24gV2VkLCAxMyBNYXkgMjAyNiAxOTo1MjowNSArMDAwMCwgU2VpZmVkZGluZSBHbWF0aSB3cm90 ZToKPiBIaSBEYW5paWwsCj4KPiBUaGFua3MgZm9yIHRoZSBzdXBwb3J0LiBUaGF0IG1hdHRlcnMg YSBsb3QuCj4KPiA+IDEpIFR1cmJvZmlzaCBhdCBjYWxsc2l0ZTogdGhpcyB3YXMgYWxyZWFkeSBi cm91Z2h0IHVwIGJlZm9yZSwgd2hpbGUgSSB1bmRlcnN0YW5kIHRoZSBwcmVjZWRlbmNlIGlzc3Vl cyB0aGF0IGxlZCB0byB0aGlzIGNob2ljZSwgaGF2aW5nIHdyaXR0ZW4gc29tZSBydXN0IG15c2Vs ZiwgSSAqc3RpbGwqIGRvbuKAmXQgbGlrZSB0aGUgc3ludGF4LCBhbmQgd291bGQgdmVyeSBtdWNo IHByZWZlciBub3JtYWwgZGlhbW9uZCBzeW50YXggYXQgY2FsbHNpdGUsIGxpa2UgZm9yIGRlY2xh cmF0aW9ucy4KPgo+IEkgcGVyc29uYWxseSBsaWtlIFR1cmJvZmlzaDsgaG93ZXZlciwgSSB1bmRl cnN0YW5kIHRoYXQgc29tZSBwZW9wbGUKPiBtaWdodCBub3QgZmluZCBpdCAicHJldHR5Ii4gQnV0 IHRoZSByZWFzb24gaXQgaGFzIHRvIHN0YXkgYXMgdHVyYm9maXNoCj4gaXMgcGFyc2VyLWxldmVs OiBgW0EoRCldYCBpcyBhbWJpZ3VvdXMgYmV0d2VlbiBhIHNpbmdsZS1lbGVtZW50Cj4gYXJyYXkg Y2FsbGluZyBnZW5lcmljIEEgYW5kIGEgdHdvLWVsZW1lbnQgYXJyYXkgb2YgY29tcGFyaXNvbnMs IGFuZAo+IHRoZXJlJ3Mgbm8gY29udGV4dC1zZW5zaXRpdmUgZGlzYW1iaWd1YXRpb24gdGhhdCB3 b3JrcyBpbnNpZGUKPiBhdHRyaWJ1dGVzLCBhcnJheSBleHByZXNzaW9ucywgYW5kIHRlcm5hcmll cyB3aXRob3V0IGludHJvZHVjaW5nIHJ1bGVzCj4gdGhhdCBiaXRlIGF0IGV4YWN0bHkgdGhlIHdv cnN0IHBsYWNlcy4gRm9yY2luZyBwYXJlbnRoZXNlcyBhcm91bmQgdGhlCj4gY2FsbCAoYFsoQShE KSldYCkgd2FzIHN1Z2dlc3RlZCBlYXJsaWVyIGluIHRoZSB0aHJlYWQgYW5kIGlzCj4gdWdsaWVy IHRoYW4gdHVyYm9maXNoOyBpdCBhbHNvIGNsb3NlcyB0aGUgZG9vciBvbiB0dXBsZSBzeW50YXgg SSdkCj4gbGlrZSB0byBrZWVwIG9wZW4gZm9yIGEgZnV0dXJlIFJGQy4gVHVyYm9maXNoIGNvc3Rz IHR3byBjaGFyYWN0ZXJzIGFuZAo+IGtlZXBzIHRoZSBwYXJzZXIgbm9uLWNvbnRleHQtc2Vuc2l0 aXZlLCB3aGljaCBpcyB0aGUgdHJhZGUgSSdkIHJhdGhlcgo+IHRha2UuCj4KPiBUaGUgYFtzZWxm Ojpmb286OigxKSwgc2VsZjo6Zm9vOjooMildYCBjYXNlIGdlbnVpbmVseSBsb29rcwo+IHRoZSB3 b3JzdC4gVGhlIHNhbWUgY2FsbCB3aXRob3V0IHR1cmJvZmlzaCAoYFtzZWxmOjpmb28oMSksCj4g c2VsZjo6Zm9vKDIpXWApIHJlYWRzIGZpbmUgYW5kIGlzIHdoYXQgdGhlIHZhc3QgbWFqb3JpdHkg b2YgY2FsbCBzaXRlcwo+IHdpbGwgbG9vayBsaWtlLCBzaW5jZSB0dXJib2Zpc2ggaXMgb3B0LWlu IGZvciBhbWJpZ3VpdHkgcmVzb2x1dGlvbgo+IChiZWNhdXNlIGluZmVyZW5jZSBpcyBoYXJkKSwg YW5kIG1vc3QgY2FsbHMgd29uJ3QgbmVlZCBpdC4KPgo+ID4gMikgLS8rIGZvciB2YXJpYW50IGJv dW5kczogYWxzbyBicm91Z2h0IHVwIGJlZm9yZSwgd2hpbGUgaXQgKmNhbiogYmUgc29tZXdoYXQg bW5lbW9uaWMgKC0gY29uc3VtZXMgZm9yIGlucHV0IHBhcmFtcywgKyBwcm9kdWNlcyBmb3Igb3V0 cHV0IHBhcmFtcyksIGluL291dCB3b3VsZCBpbmRlZWQgYmUgbXVjaCBtb3JlIGRlc2NyaXB0aXZl IElNTyAob3IgYXQgdGhlIHZlcnkgbGVhc3QsIGJvdGggb3B0aW9ucyBjb3VsZCBiZSBwcm92aWRl ZCBhdCB0aGUgc2FtZSB0aW1lKS4KPgo+IFNlY29uZGFyeSB2b3RlIGFkZGVkIG9uIHRoaXMuIGAr VGAvYC1UYCB2cyBgaW4gVGAvYG91dCBUYC4gSSBoYXZlIG5vCj4gc3Ryb25nIHByZWZlcmVuY2U7 IHRoZSB2b3RlIHdpbGwgZGVjaWRlLgo+Cj4gPiBJIHdpbGwgaW1wbGVtZW50IHN1cHBvcnQgZm9y IHRoaXMgUkZDIGluIFBzYWxtIGltbWVkaWF0ZWx5IGFmdGVyIHRoZSBSRkMgaXMgYXBwcm92ZWQK Pgo+IFNpZGUgbm90ZTogSSdtIG9wdGltaXN0aWMgOykKPiBodHRwczovL2dpdGh1Yi5jb20vY2Fy dGhhZ2Utc29mdHdhcmUvbWFnby9wdWxsLzE4MjYKPgo+IFRoYW5rcyBhZ2FpbiBmb3IgdGhlIGNh cmVmdWwgcmVhZC4KPgo+IENoZWVycywKPiBTZWlmZWRkaW5lLgoKTGVhdmluZy10aGUtZG9vci1v cGVuLWZvci10dXBsZXMgaXMgYSBnb29kIGFkZGl0aW9uYWwgYXJndW1lbnQgZm9yIHVzaW5nIHRo ZSB0dXJib2Zpc2ggc3ludGF4OyBJJ2Qgc2F5IGl0J3MgaW1wb3J0YW50IGVub3VnaCB0byBtZW50 aW9uIGluIHRoZSBSRkMu --b1=_MV0h3O8sApgpc9Z2XvQom4VsizwOsOU6BwCp1VgLhw Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 T24gV2VkLCAxMyBNYXkgMjAyNiAxOTo1MjowNSArMDAwMCwgU2VpZmVkZGluZSBHbWF0aSB3cm90 ZTo8YnI+Jmd0OyBIaSBEYW5paWwsPGJyPiZndDsgPGJyPiZndDsgVGhhbmtzIGZvciB0aGUgc3Vw cG9ydC4gVGhhdCBtYXR0ZXJzIGEgbG90Ljxicj4mZ3Q7IDxicj4mZ3Q7ICZndDsgMSkgVHVyYm9m aXNoIGF0IGNhbGxzaXRlOiB0aGlzIHdhcyBhbHJlYWR5IGJyb3VnaHQgdXAgYmVmb3JlLCB3aGls ZSBJIHVuZGVyc3RhbmQgdGhlIHByZWNlZGVuY2UgaXNzdWVzIHRoYXQgbGVkIHRvIHRoaXMgY2hv aWNlLCBoYXZpbmcgd3JpdHRlbiBzb21lIHJ1c3QgbXlzZWxmLCBJICpzdGlsbCogZG9u4oCZdCBs aWtlIHRoZSBzeW50YXgsIGFuZCB3b3VsZCB2ZXJ5IG11Y2ggcHJlZmVyIG5vcm1hbCBkaWFtb25k IHN5bnRheCBhdCBjYWxsc2l0ZSwgbGlrZSBmb3IgZGVjbGFyYXRpb25zLjxicj4mZ3Q7IDxicj4m Z3Q7IEkgcGVyc29uYWxseSBsaWtlIFR1cmJvZmlzaDsgaG93ZXZlciwgSSB1bmRlcnN0YW5kIHRo YXQgc29tZSBwZW9wbGU8YnI+Jmd0OyBtaWdodCBub3QgZmluZCBpdCAicHJldHR5Ii4gQnV0IHRo ZSByZWFzb24gaXQgaGFzIHRvIHN0YXkgYXMgdHVyYm9maXNoPGJyPiZndDsgaXMgcGFyc2VyLWxl dmVsOiBgW0EoRCldYCBpcyBhbWJpZ3VvdXMgYmV0d2VlbiBhIHNpbmdsZS1lbGVtZW50PGJyPiZn dDsgYXJyYXkgY2FsbGluZyBnZW5lcmljIEEgYW5kIGEgdHdvLWVsZW1lbnQgYXJyYXkgb2YgY29t cGFyaXNvbnMsIGFuZDxicj4mZ3Q7IHRoZXJlJ3Mgbm8gY29udGV4dC1zZW5zaXRpdmUgZGlzYW1i aWd1YXRpb24gdGhhdCB3b3JrcyBpbnNpZGU8YnI+Jmd0OyBhdHRyaWJ1dGVzLCBhcnJheSBleHBy ZXNzaW9ucywgYW5kIHRlcm5hcmllcyB3aXRob3V0IGludHJvZHVjaW5nIHJ1bGVzPGJyPiZndDsg dGhhdCBiaXRlIGF0IGV4YWN0bHkgdGhlIHdvcnN0IHBsYWNlcy4gRm9yY2luZyBwYXJlbnRoZXNl cyBhcm91bmQgdGhlPGJyPiZndDsgY2FsbCAoYFsoQShEKSldYCkgd2FzIHN1Z2dlc3RlZCBlYXJs aWVyIGluIHRoZSB0aHJlYWQgYW5kIGlzPGJyPiZndDsgdWdsaWVyIHRoYW4gdHVyYm9maXNoOyBp dCBhbHNvIGNsb3NlcyB0aGUgZG9vciBvbiB0dXBsZSBzeW50YXggSSdkPGJyPiZndDsgbGlrZSB0 byBrZWVwIG9wZW4gZm9yIGEgZnV0dXJlIFJGQy4gVHVyYm9maXNoIGNvc3RzIHR3byBjaGFyYWN0 ZXJzIGFuZDxicj4mZ3Q7IGtlZXBzIHRoZSBwYXJzZXIgbm9uLWNvbnRleHQtc2Vuc2l0aXZlLCB3 aGljaCBpcyB0aGUgdHJhZGUgSSdkIHJhdGhlcjxicj4mZ3Q7IHRha2UuPGJyPiZndDsgPGJyPiZn dDsgVGhlIGBbc2VsZjo6Zm9vOjooMSksIHNlbGY6OmZvbzo6KDIpXWAgY2FzZSBnZW51aW5lbHkg bG9va3M8YnI+Jmd0OyB0aGUgd29yc3QuIFRoZSBzYW1lIGNhbGwgd2l0aG91dCB0dXJib2Zpc2gg KGBbc2VsZjo6Zm9vKDEpLDxicj4mZ3Q7IHNlbGY6OmZvbygyKV1gKSByZWFkcyBmaW5lIGFuZCBp cyB3aGF0IHRoZSB2YXN0IG1ham9yaXR5IG9mIGNhbGwgc2l0ZXM8YnI+Jmd0OyB3aWxsIGxvb2sg bGlrZSwgc2luY2UgdHVyYm9maXNoIGlzIG9wdC1pbiBmb3IgYW1iaWd1aXR5IHJlc29sdXRpb248 YnI+Jmd0OyAoYmVjYXVzZSBpbmZlcmVuY2UgaXMgaGFyZCksIGFuZCBtb3N0IGNhbGxzIHdvbid0 IG5lZWQgaXQuPGJyPiZndDsgPGJyPiZndDsgJmd0OyAyKSAtLysgZm9yIHZhcmlhbnQgYm91bmRz OiBhbHNvIGJyb3VnaHQgdXAgYmVmb3JlLCB3aGlsZSBpdCAqY2FuKiBiZSBzb21ld2hhdCBtbmVt b25pYyAoLSBjb25zdW1lcyBmb3IgaW5wdXQgcGFyYW1zLCArIHByb2R1Y2VzIGZvciBvdXRwdXQg cGFyYW1zKSwgaW4vb3V0IHdvdWxkIGluZGVlZCBiZSBtdWNoIG1vcmUgZGVzY3JpcHRpdmUgSU1P IChvciBhdCB0aGUgdmVyeSBsZWFzdCwgYm90aCBvcHRpb25zIGNvdWxkIGJlIHByb3ZpZGVkIGF0 IHRoZSBzYW1lIHRpbWUpLjxicj4mZ3Q7IDxicj4mZ3Q7IFNlY29uZGFyeSB2b3RlIGFkZGVkIG9u IHRoaXMuIGArVGAvYC1UYCB2cyBgaW4gVGAvYG91dCBUYC4gSSBoYXZlIG5vPGJyPiZndDsgc3Ry b25nIHByZWZlcmVuY2U7IHRoZSB2b3RlIHdpbGwgZGVjaWRlLjxicj4mZ3Q7IDxicj4mZ3Q7ICZn dDsgSSB3aWxsIGltcGxlbWVudCBzdXBwb3J0IGZvciB0aGlzIFJGQyBpbiBQc2FsbSBpbW1lZGlh dGVseSBhZnRlciB0aGUgUkZDIGlzIGFwcHJvdmVkPGJyPiZndDsgPGJyPiZndDsgU2lkZSBub3Rl OiBJJ20gb3B0aW1pc3RpYyA7KTxicj4mZ3Q7IGh0dHBzOi8vZ2l0aHViLmNvbS9jYXJ0aGFnZS1z b2Z0d2FyZS9tYWdvL3B1bGwvMTgyNjxicj4mZ3Q7IDxicj4mZ3Q7IFRoYW5rcyBhZ2FpbiBmb3Ig dGhlIGNhcmVmdWwgcmVhZC48YnI+Jmd0OyA8YnI+Jmd0OyBDaGVlcnMsPGJyPiZndDsgU2VpZmVk ZGluZS48YnI+PGJyPjxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcmlhbCwgc2Fucy1zZXJpZjsg Zm9udC1zaXplOiAxNHB4OyIgY2xhc3M9InByb3Rvbm1haWxfc2lnbmF0dXJlX2Jsb2NrIj48ZGl2 IGNsYXNzPSJwcm90b25tYWlsX3NpZ25hdHVyZV9ibG9jay1wcm90b24iPkxlYXZpbmctdGhlLWRv b3Itb3Blbi1mb3ItdHVwbGVzIGlzIGEgZ29vZCBhZGRpdGlvbmFsIGFyZ3VtZW50IGZvciB1c2lu ZyB0aGUgdHVyYm9maXNoIHN5bnRheDsgSSdkIHNheSBpdCdzIGltcG9ydGFudCBlbm91Z2ggdG8g bWVudGlvbiBpbiB0aGUgUkZDLjwvZGl2Pg0KPC9kaXY+DQo= --b1=_MV0h3O8sApgpc9Z2XvQom4VsizwOsOU6BwCp1VgLhw--