{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
        // Invariant: the control-flow is well-formed at the end of each iteration.
        let mut current = *current;