{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"self.cx.typeck.body.local_decls[local].source_info.span,"}]}
                self.cx.typeck.body.local_decls[local].source_info.span,
                self.cx.typeck.infcx.tcx,
                local_ty,