{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"dominator_order_rank:"}]}
    dominator_order_rank: IndexVec<BasicCoverageBlock, u32>,
    /// their relative order is consistent but arbitrary.
    /// A loop header is a node that dominates one or more of its predecessors.