Narrow optional array offsets through isset() conditions - #6382

Merged

ondrejmirtes merged 5 commits into

2.3.xfrom

dependent-types-isset-offset-guards

Sep 12, 2026

Commits on Sep 12, 2026

Merge unions of constant arrays with many keys instead of degrading

ondrejmirtes
and
claude
committed
e5ee6d3
Narrow falsey isset() on an optional constant-array offset

ondrejmirtes
and
claude
committed
fcf3ee9
Apply the falsey isset() narrowing of the left side to the ?? right scope

ondrejmirtes
and
claude
committed
1350cd4
Add regression test(s) for collateral fix(es) #12786 #13075

ondrejmirtes
and
claude
committed
d5f5815
Add required lint version comment to the bug-12786 fixture

ondrejmirtes
and
claude
committed
8179006