{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// The span of the width formatting flag (for diagnostics).
    pub width: Count<'input>,
    pub width_span: Option<Range<usize>>,