{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        IndexVec<BasicBlock, Option<BasicCoverageBlock>>,
        let num_basic_blocks = mir_body.basic_blocks.len();