Derive conditional expression guards from the branch set difference - #6380

Merged

ondrejmirtes merged 8 commits into

2.3.xfrom

dependent-types-remainder-guards

Sep 11, 2026

Commits on Sep 11, 2026

Derive conditional guard types from the branch set difference

ondrejmirtes
and
claude
committed
d6831e9
Port set-difference guard selection to the native ScopeOps

ondrejmirtes
and
claude
committed
f010107
Bump expected turbo version

ondrejmirtes
and
claude
committed
0f5817a
Resolve self-analysis findings surfaced by sharper conditional guards

ondrejmirtes
and
claude
committed
a8e647b
Restore SubstrDynamicReturnTypeExtension behavior and baseline its finding

ondrejmirtes
and
claude
committed
d3c0b9d
Add regression test(s) for collateral fix(es) #8360

ondrejmirtes
and
claude
committed
f15cc3c
Update expectation: sharper narrowing catches a float-to-string property assignment

ondrejmirtes
and
claude
committed
ae4ff1c
Compute constant substr() result independently of the runtime PHP version

ondrejmirtes
and
claude
committed
f772f3c