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

Open

ondrejmirtes wants to merge 5 commits into

2.3.xfrom

dependent-types-isset-offset-guards

Commits on Sep 5, 2026

Merge unions of constant arrays with many keys instead of degrading

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

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

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

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

ondrejmirtes
and
claude
committed
71b4601