{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"for"}]}
        for param in body.params {
        let mut wbcx = WritebackCx::new(self, body, rustc_dump_user_args);
            wbcx.visit_node_id(param.pat.span, param.hir_id);