PHP RFC: Bound-Erased Generic Types#21969

Draft

azjezz wants to merge 34 commits intophp:masterfrom

carthage-software:rfc/bound-erased-generic-types

Commits on May 8, 2026

feat(zend): add lex and grammar for generic syntax
azjezz
committed
feat(zend): add AST kinds, decl arity, and action wiring for generics
azjezz
committed
feat(zend): implement generic scope, bound erasure, and runtime metadata
azjezz
committed
feat(opcache): persist generic metadata through SHM and cache
azjezz
committed
feat(reflection): expose generic parameters and bounds via Reflection API
azjezz
committed
feat(zend, opcache, reflection): complete pre-erasure side table and resolve type-parameter refs
azjezz
committed
feat(zend): allow generic type arguments on array, iterable, self, static, and parent
azjezz
committed
test(zend, reflection): add generics test suite and fix uncovered semantics
azjezz
committed
docs: add generics in NEWS, UPGRADING, and UPGRADING.INTERNALS
azjezz
committed
test(zend): cover whitespace-free bound+default with type args (>> splitting)
azjezz
committed
feat(zend, reflection): expose direct-ancestor type arguments on ReflectionClass
azjezz
committed
feat(zend): reject required type parameter after an optional one
azjezz
committed
feat(zend): resolve type-param vs type-name collisions via shadowing, error only at runtime use
azjezz
committed
fix(zend): drop const-discarding qualifiers and unused grammar nonterminal
azjezz
committed
fix(opcache, reflection): plug two memory leaks in generics persistence and reflection cleanup
azjezz
committed
feat(zend): allow turbofish on attribute declarations
azjezz
committed
refactor(zend): address review feedback
azjezz
committed
refactor(reflection): throw on absent bound/default and non-ancestor lookups
azjezz
committed
test(reflection): update fixture for non-nullable generic-args returns
azjezz
committed
feat(zend): cap generic type parameters and arguments at 255
azjezz
committed
feat(zend, reflection): enforce generic-arg arity at call sites and inheritance
azjezz
committed
feat(zend): treat missing type args on inheritance as arity 0
azjezz
committed
feat(zend, opcache, reflection): bound checks and parametric substitution for generics
azjezz
committed
fix(zend): typo
azjezz
committed
fix(zend): allow ?T and unions containing T when T erases to mixed
azjezz
committed
fix(zend): point T-aware diagnostic at T-ref erasure in intersection position
azjezz
committed

Commits on May 9, 2026