Repository navigation

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

Merged

Narrow optional array offsets through isset() conditions#6382
ondrejmirtes merged 5 commits into
2.3.xfrom
dependent-types-isset-offset-guards

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