This is _correct_, but it leads to copy prop invalidating `i` and therefore not propagating it to subsequent iterations.
I suppose I'll have to see, but I'm not sure this is the way we want to solve that problem. In any case it's only an optimization, so I would leave it out for now.