Elide ZEND_VERIFY_RETURN_TYPE when returning $this - #22335

Open

azjezz wants to merge 7 commits into

carthage-software:this-return-type-check

Commits on Jun 16, 2026

Add tests prior to optimization

Girgias
authored and
azjezz
committed
ce53220
Do not emit ZEND_VERIFY_RETURN_TYPE if we return $this and return value is static

Girgias
authored and
azjezz
committed
f6d7bb8
Optimizer: Implement basic unlinked interface traversal in safe_instanceof()

Girgias
authored and
azjezz
committed
21ad193
Elide return type check for directly provable instances of $this at compile time

Girgias
authored and
azjezz
committed
15c01db
Optimizer: prove return types for unlinked classes via names
azjezz
committed
15b87fd

Commits on Jun 17, 2026

drop compile-time $this return elision in favour of the optimizer
azjezz
committed
3ed6985
EOL
azjezz
committed
c1985cc