{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Spans of the previous arms except for those that diverge (i.e. evaluate to `!`).
    /// These are used for pointing out errors that may affect several arms.