<!-- mobian-agent-page publisher="dailydev" canonical="https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-9glaigzvf" -->

---
title: [RFC] [Discussion] Bound-Erased Generic Types | daily.dev
description: A PHP internals mailing list discussion about a proposed RFC for bound-erased generic types in PHP. The RFC proposes adding generic type parameters to classes,...
canonical: https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-9glaigzvf
twitter:card: summary_large_image
twitter:site: @dailydotdev
og:type: website
og:site_name: daily.dev
og:title: [RFC] [Discussion] Bound-Erased Generic Types | daily.dev
og:description: A PHP internals mailing list discussion about a proposed RFC for bound-erased generic types in PHP. The RFC proposes adding generic type parameters to classes,...
og:url: https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-9glaigzvf
og:image: https://api.daily.dev/og/posts/9GlAIgzVF.png
og:image:alt: [RFC] [Discussion] Bound-Erased Generic Types
og:image:width: 1200
og:image:height: 630
og:locale: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# [RFC] [Discussion] Bound-Erased Generic Types

**[externals.io](https://daily.dev/sources/externals)** · 302 min read · 0 upvotes · 0 comments

## Summary

A PHP internals mailing list discussion about a proposed RFC for bound-erased generic types in PHP. The RFC proposes adding generic type parameters to classes, interfaces, traits, functions, methods, closures, and arrow functions, with bounds, defaults, and variance markers. Type parameters erase to their bound at runtime, while the pre-erasure form is preserved for Reflection and static analyzers. The discussion covers key design decisions including: type parameter ordering restrictions, intersection type constraints, arity validation (opt-in via turbofish syntax), diamond inheritance checks, turbofish syntax (::< >) vs alternatives, and +/- variance markers. The RFC author and Bob Weinand debate tradeoffs around strictness vs. PHP's optional typing philosophy, with general agreement that the RFC is solid and extensible toward runtime generics in the future.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://externals.io/message/131184>

## Similar posts on daily.dev

- [\[RFC\] \[Discussion\] Bound-Erased Generic Types](https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-rfkpig5wa) · externals.io · 0 upvotes · 0 comments
- [\[RFC\] \[Discussion\] Bound-Erased Generic Types](https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-yisyakw3a) · externals.io · 0 upvotes · 0 comments
- [\[RFC\] \[Discussion\] Bound-Erased Generic Types](https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-zvy3c0jw8) · externals.io · 0 upvotes · 0 comments
- [\[RFC\] \[Discussion\] Bound-Erased Generic Types](https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-rf9qswn7h) · externals.io · 0 upvotes · 0 comments
- [\[RFC\] \[Discussion\] Bound-Erased Generic Types](https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-0hyg4ytxl) · externals.io · 0 upvotes · 0 comments

---

Tags: [#php](https://daily.dev/tags/php)

[View this post on daily.dev](https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-9glaigzvf)

```json
{"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]}
{"@context":"https://schema.org","@type":"TechArticle","headline":"[RFC] [Discussion] Bound-Erased Generic Types","url":"https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-9glaigzvf","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-9glaigzvf"},"datePublished":"2026-06-09T13:28:22.884Z","dateModified":"2026-06-09T13:28:50.755Z","description":"A PHP internals mailing list discussion about a proposed RFC for bound-erased generic types in PHP. The RFC proposes adding generic type parameters to classes,...","image":"https://media.daily.dev/image/upload/s--2-1xRawN--/f_auto/v1722860399/public/Placeholder%2011","thumbnailUrl":"https://media.daily.dev/image/upload/s--2-1xRawN--/f_auto/v1722860399/public/Placeholder%2011","isAccessibleForFree":true,"articleSection":"externals.io","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"externals.io","logo":"https://media.daily.dev/image/upload/s--9i0zxASK--/f_auto,q_auto/v1780213616/logos/externals?_a=BAMAMiWQ0","url":"https://daily.dev/sources/externals"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-9glaigzvf","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"php","timeRequired":"PT302M"}
{"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"externals.io","item":"https://daily.dev/sources/externals"},{"@type":"ListItem","position":3,"name":"[RFC] [Discussion] Bound-Erased Generic Types"}]}
```

