{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// Generally, this corresponds to `pat_no_top_alt` followed by an optional `Colon`. It will
    ///
    /// eat the `Colon` token if one is present.