+ if word.is_scoped() {
+ if !self.sess.features_untracked().tool_lints {
+ feature_gate::emit_feature_err(&sess.parse_sess,
+ "tool_lints",
+ word.span,
+ feature_gate::GateIssue::Language,
+ &format!("scoped lint `{}` is experimental",
+ word.ident));
+ }
+
+ if !attr::is_known_lint_tool(word) {
+ span_err!(
+ sess,
+ word.span,
+ E0710,
+ "an unknown tool name found in scoped lint: `{}`.",
+ word.ident
+ );
+ }
+
+ continue
+ }