{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"///"}]}
    /// renamed.
    /// rustc lint. The `Option<String>` indicates if the lint has been
    Tool(&'a [LintId], Option<String>),