{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// successor basic block, if any. The only information not included is the list of possible
    /// Writes the "head" part of the terminator; that is, its name and the data it uses to pick the
    /// successors, which may be rendered differently between the text and the graphviz format.