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