{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// rustc lint. The `Option<String>` indicates if the lint has been
    /// The lint is from a tool. The `LintId` will be returned as if it were a
    /// renamed.