{"ast_node_type":"import","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
    // We allocate capacity for the full set of nodes, because most of the time
fn dominators_impl<G: ControlFlowGraph>(graph: &G) -> Inner<G::Node> {
    // most of the nodes *are* reachable.