{"ast_node_type":"variable","tokens":[{"end":46,"kind":"keyword","start":0,"text":"let"}]}
        let mut work_list = vec![START_BLOCK];
        // Traverse the MIR manually so we can account for the effects of inlining on the CFG.
        let mut visited = DenseBitSet::new_empty(callee_body.basic_blocks.len());