{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
    // Other traversers track their worklist in a Vec. But we don't care about order, so we can
    visited: DenseBitSet<BasicBlock>,
    // store ours in a DenseBitSet and thus save allocations because DenseBitSet has a small size