{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"self.maybe_typeck_results.replace(self.tcx.typeck_body(body));"}]}
            self.maybe_typeck_results.replace(self.tcx.typeck_body(body));
        let old_maybe_typeck_results =
        let body = self.tcx.hir_body(body);