{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// The various kinds of terminators, representing ways of exiting from a basic block.
/// A note on unwinding: Panics may occur during the execution of some terminators. Depending on the