---
title: "[RFC] [Discussion] Bound-Erased Generic Types"
url: https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-rf9qswn7h
source_url: https://externals.io/message/131208
type: article
source: "externals.io"
published: 2026-06-11T17:43:55.764Z
updated: 2026-06-11T17:44:29.004Z
tags: ["php"]
reading_time: 310
upvotes: 0
comments: 0
language: 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)** · 310 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, the turbofish `::< >` syntax for explicit type arguments, and `+`/`-` variance markers. Bob Weinand provides detailed feedback questioning several restrictions, and RFC author Seifeddine Gmati responds point-by-point defending design choices while acknowledging some areas for improvement before a vote.

## Full article

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

## Similar posts on daily.dev

- [\[RFC\] \[Discussion\] Bound-Erased Generic Types](https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-bzemic67k) · externals.io · 0 upvotes · 0 comments
- [\[RFC\] \[Discussion\] Bound-Erased Generic Types](https://daily.dev/posts/rfc-discussion-bound-erased-generic-types-9glaigzvf) · 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-epvxxycgu) · 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-rf9qswn7h)