{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"///"}]}
        /// ignore can optionally have a reason: `#[ignore = "reason this is ignored"]`
        span: Span,
        reason: Option<Symbol>,