mukul-rathi/bolt

Locked field won't update

mukul-rathi opened this issue · 1 comments

let (i = 0; i< 10; i++){
x.f := x.f + i 
}

x.f is set to 0 if using a locked capability, rather than 55 (1+2+...+10).

this is grouped with existing lock issue