Type mutable-array length/reads and emit bounds obligations (closes #1117) - #1150

Merged

jsiek merged 2 commits into

mainfrom

routine/20260728-040201

Jul 30, 2026

Commits on Jul 30, 2026

Type mutable-array length/reads and add bounds-obligation API (closes #1117)

jsiek
and
claude
committed
00f0c93
Address review: scope ArrayLength to [T]!, teach rewrite walkers, UInt index

jsiek
and
claude
committed
2add2f8