{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// their relative order is consistent but arbitrary.
    /// `a` dominates `b`, then `a < b`. If neither node dominates the other,
    dominator_order_rank: IndexVec<BasicCoverageBlock, u32>,