{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// however there is a MIR pass ([`CriticalCallEdges`]) that removes *critical edges*, which
    /// [terminator][Terminator]. Basic blocks can have multiple predecessors and successors,
    /// are edges that go from a multi-successor node to a multi-predecessor node. This pass is