{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// The span of the whole match, if applicable.
    pub match_lint_level: HirId,
    pub whole_match_span: Option<Span>,