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

Open

ondrejmirtes wants to merge 8 commits into

2.3.xfrom

dependent-types-remainder-guards

Commits on Sep 5, 2026

Derive conditional guard types from the branch set difference

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

ondrejmirtes
and
claude
committed
a1df814
Bump expected turbo version

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

ondrejmirtes
and
claude
committed
05afcd1
Restore SubstrDynamicReturnTypeExtension behavior and baseline its finding

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

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

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

ondrejmirtes
and
claude
committed
a4763c1