{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"lint_attr_span.into(),"}]}
                    lint_attr_span.into(),
                    UNUSED_ATTRIBUTES,
                    IgnoredUnlessCrateSpecified { level: level.as_str(), name: lint_attr_name },