Repository navigation

chore: merge train 232 (v0.5.1611) - #10780

Merged

proggeramlug merged 5 commits into

mainfrom

Sep 20, 2026

Merged

chore: merge train 232 (v0.5.1611)#10780
proggeramlug merged 5 commits into
mainfrom
train232r

Commits on Sep 20, 2026
- perf(codegen,hir): stop re-proving a loop-invariant array receiver on every element access (#10718)
  
  perry-bot
  authored and
  Ralph Küpper
  committed
  f5befb4
- changelog: fragment for #10718
  
  perry-bot
  authored and
  Ralph Küpper
  committed
  cfc42db
- perf(codegen): hoist the loop-invariant receiver proof for array element stores (#10718)
  
  perry-bot
  authored and
  Ralph Küpper
  committed
  c538dbd
- perf(codegen): let `a[i] += 1` reach the loop tier `a[i] = a[i] + 1` already had (#10743)
  
  Ralph Küpper
  authored and
  Ralph Küpper
  committed
  ece19b9
- chore: release merge train 232 as v0.5.1611
  Ralph Küpper
  committed
  115ad45