{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"worklist:"}]}
    worklist: Vec<BasicBlock>,
    typing_env: ty::TypingEnv<'tcx>,
    visited_blocks: DenseBitSet<BasicBlock>,