{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// needed because some analyses require that there are no critical edges in the CFG.
    /// Note that this type is just an index into [`Body.basic_blocks`](Body::basic_blocks);