{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"loop_headers:"}]}
    loop_headers: DenseBitSet<BasicBlock>,
    map: Map<'tcx>,
    /// We use an arena to avoid cloning the slices when cloning `state`.