{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
            // Allow clippy lints by default, not all users want them.
            description: clippy_lint.help,
            default_severity: Severity::Allow,