{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"debug!(\"MirPatch:"}]}
                debug!("MirPatch: patching block {:?}", src);
            if let Some(patch) = patch {
                bbs[src].terminator_mut().kind = patch;