{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"self.new_blocks.push(data);"}]}
        self.new_blocks.push(data);
        debug!("MirPatch: new_block: {:?}: {:?}", block, data);
        self.term_patch_map.push(None);