Narrow the foreach source offset when the value variable is narrowed - #6386

Open

ondrejmirtes wants to merge 4 commits into

2.3.xfrom

dependent-types-foreach-alias

Commits on Sep 5, 2026

Project narrowings of the foreach value variable onto the aliased iteratee dim fetch

ondrejmirtes
and
claude
committed
484a1cb
Invalidate the foreach value alias on writes that bypass the assignment path

ondrejmirtes
and
claude
committed
63d438b
Drop the foreach value alias on dynamic-variable writes to the iteratee

ondrejmirtes
and
claude
committed
48d75ab
Add regression test for collateral fix #12500

ondrejmirtes
and
claude
committed
f7872c9