{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// [terminator][Terminator]. Basic blocks can have multiple predecessors and successors,
    /// Basic blocks consist of a series of [statements][Statement], ending with a
    /// however there is a MIR pass ([`CriticalCallEdges`]) that removes *critical edges*, which