{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"visited_blocks:"}]}
    visited_blocks: DenseBitSet<BasicBlock>,
    worklist: Vec<BasicBlock>,
    locals: IndexVec<Local, Value<'tcx>>,