Inside for 'x' in lend.mut 'xs', the list may be read once 'x' is used for the last time in that trip, and the read sees the new values.
for_lend_mut_read.zg
# Inside `for 'x' in lend.mut 'xs'`, the list may be read once 'x' is used for the last time in# that trip, and the read sees the new values (owner, 2026-09-30: a, Zomp's liveness rule).MAIN{letmut'xs':list[int32]=[1,2,3];letmut'seen':list[int32]=[];for'x'inlend.mut'xs'{change'x'='x'times10;list.append[lend.mut'seen',value'xs'[pos1]];}std::print.stored['xs',newln];std::print.stored['seen',newln];}