{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"self.init_empty(ln,"}]}
        self.init_empty(ln, succ);
        let ln = self.live_node(expr.hir_id, expr.span);
        debug!("propagate_through_loop: using id for loop body {} {:?}", expr.hir_id, body);