{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    ///  2) The set of successors of each terminator remains unchanged.
    ///  1) The number of basic blocks remains unchanged
    ///  3) For each `TerminatorKind::SwitchInt`, the `targets` remains the same and the terminator