{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"self.new_locals.len(),"}]}
            self.new_locals.len(),
            "MirPatch: {:?} new temps, starting from index {}: {:?}",
            body.local_decls.len(),