PHP RFC: Bound-Erased Generic Types#21969

Draft

azjezz wants to merge 19 commits intophp:masterfrom

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

Commits on May 6, 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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

PHP RFC: Bound-Erased Generic Types#21969

PHP RFC: Bound-Erased Generic Types#21969
azjezz wants to merge 19 commits intophp:masterfrom
carthage-software:rfc/bound-erased-generic-types

Commits on May 6, 2026

feat(zend): add lex and grammar for generic syntax

feat(zend): add AST kinds, decl arity, and action wiring for generics

feat(zend): implement generic scope, bound erasure, and runtime metadata

feat(opcache): persist generic metadata through SHM and cache

feat(reflection): expose generic parameters and bounds via Reflection API

feat(zend, opcache, reflection): complete pre-erasure side table and resolve type-parameter refs

feat(zend): allow generic type arguments on array, iterable, self, static, and parent

test(zend, reflection): add generics test suite and fix uncovered semantics

docs: add generics in NEWS, UPGRADING, and UPGRADING.INTERNALS

test(zend): cover whitespace-free bound+default with type args (>> splitting)

feat(zend, reflection): expose direct-ancestor type arguments on ReflectionClass

feat(zend): reject required type parameter after an optional one

feat(zend): resolve type-param vs type-name collisions via shadowing, error only at runtime use

fix(zend): drop const-discarding qualifiers and unused grammar nonterminal

fix(opcache, reflection): plug two memory leaks in generics persistence and reflection cleanup

feat(zend): allow turbofish on attribute declarations

refactor(zend): address review feedback

refactor(reflection): throw on absent bound/default and non-ancestor lookups

test(reflection): update fixture for non-nullable generic-args returns