Resolve inferred template arguments from the body's usages - #6332

Merged

ondrejmirtes merged 28 commits into

2.3.xfrom

bidirectional-type-narrowing-2

Sep 7, 2026

Commits on Sep 7, 2026

Bidirectional type narrowing initial implementation

ondrejmirtes
and
claude
committed
d81067d
Add regression tests for issues fixed by unresolved template arguments

ondrejmirtes
and
claude
committed
2edf14d
Add regression test for #8031

ondrejmirtes
and
claude
committed
168c594
Pin bug-15169-calls to the unresolved template argument semantics

ondrejmirtes
and
claude
committed
20c3947
Pin the native flavour of template arguments (currently failing)

ondrejmirtes
and
claude
committed
8fd2168
Avoid retaining call ASTs in template argument caches
ondrejmirtes
committed
5fad23a
Preserve inference constraints from arrow function arguments
ondrejmirtes
committed
3b1a688
Preserve inference constraints from terminating expression branches
ondrejmirtes
committed
a87e6be
Preserve inference constraints when foreach scope does not escape
ondrejmirtes
committed
1f5f1e0
Preserve inference constraints from unreachable for loop bodies
ondrejmirtes
committed
fba5263
Resolve dependent template bounds and defaults completely
ondrejmirtes
committed
c359956
Preserve unresolved template identity in finite type comparisons
ondrejmirtes
committed
dfd955c
Keep PHPDoc template inference out of native construction types
ondrejmirtes
committed
6fd7b53
Ignore diagnostic call markers when deciding statement replay
ondrejmirtes
committed
90fb324
Reuse analysed bodies for array_map and immediately invoked closures
ondrejmirtes
committed
8906711
Carry template resolution policy in immutable analysis contexts
ondrejmirtes
committed
95ed4fe
Keep template argument inference compatible with PHP 7.4
ondrejmirtes
committed
186e52f
Respect template bounds when inferring from later arguments
ondrejmirtes
committed
d59d8c4
Use template bounds for unconstrained generic call arguments
ondrejmirtes
committed
8da57e4
Preserve template defaults when generic calls add no constraints
ondrejmirtes
committed
2c6d582
Use generic parameter defaults to constrain empty nested collections
ondrejmirtes
committed
952645b
Use template bounds for objects passed to impure mixed parameters
ondrejmirtes
committed
194bd0e
Preserve unknown ArrayObject values when constructed from an object
ondrejmirtes
committed
5e5139b
Preserve inferred arguments when return types omit generic arguments
ondrejmirtes
committed
87a4b79
Use a complete PHP version requirement in Bug14396Test
ondrejmirtes
committed
2416411
Update levels expectations for inferred SplObjectStorage values
ondrejmirtes
committed
b379e3d
Preserve bounds for unconstrained template arguments
ondrejmirtes
committed
a82b7e9
Solve linked invariant template arguments together
ondrejmirtes
committed
66ec5e6

Navigation Menu

Uh oh!

Resolve inferred template arguments from the body's usages - #6332

Resolve inferred template arguments from the body's usages#6332
ondrejmirtes merged 28 commits into
2.3.xfrom
bidirectional-type-narrowing-2

Commits on Sep 7, 2026

Bidirectional type narrowing initial implementation

Add regression tests for issues fixed by unresolved template arguments

Add regression test for #8031

Pin bug-15169-calls to the unresolved template argument semantics

Pin the native flavour of template arguments (currently failing)

Avoid retaining call ASTs in template argument caches

Preserve inference constraints from arrow function arguments

Preserve inference constraints from terminating expression branches

Preserve inference constraints when foreach scope does not escape

Preserve inference constraints from unreachable for loop bodies

Resolve dependent template bounds and defaults completely

Preserve unresolved template identity in finite type comparisons

Keep PHPDoc template inference out of native construction types

Ignore diagnostic call markers when deciding statement replay

Reuse analysed bodies for array_map and immediately invoked closures

Carry template resolution policy in immutable analysis contexts

Keep template argument inference compatible with PHP 7.4

Respect template bounds when inferring from later arguments

Use template bounds for unconstrained generic call arguments

Preserve template defaults when generic calls add no constraints

Use generic parameter defaults to constrain empty nested collections

Use template bounds for objects passed to impure mixed parameters

Preserve unknown ArrayObject values when constructed from an object

Preserve inferred arguments when return types omit generic arguments

Use a complete PHP version requirement in Bug14396Test

Update levels expectations for inferred SplObjectStorage values

Preserve bounds for unconstrained template arguments

Solve linked invariant template arguments together