{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// These are used for pointing out errors that may affect several arms.
    ///
    pub prior_non_diverging_arms: Vec<Span>,