{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"for"}]}
            for (idx, _) in obligations_should_hold.iter().enumerate() {
            // by the root variable but not by the capture
                if !obligations_holds_for_capture[idx] && obligations_should_hold[idx] {