{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// goes for `rustdoc`. This will be `None` for rustc lints
    /// the lint `clippy::some_lint` the tool would be `clippy`, the same
    pub lint_tool: Option<Symbol>,