Remove unused tool_name.

Author: cjgillot

compiler/rustc_lint/src/levels.rs

@@ -621,7 +621,6 @@ impl<'s, P: LintLevelsProvider> LintLevelsBuilder<'s, P> {
                                 .name,
                             span: sp,
                             reason,
-                            tool: tool_name,
                         };
                         for &id in *ids {
                             if self.check_gated_lint(id, attr.span) {
@@ -639,7 +638,6 @@ impl<'s, P: LintLevelsProvider> LintLevelsBuilder<'s, P> {
                                     name: Symbol::intern(complete_name),
                                     span: sp,
                                     reason,
-                                    tool: tool_name,
                                 };
                                 for &id in ids {
                                     if self.check_gated_lint(id, attr.span) {
@@ -681,7 +679,6 @@ impl<'s, P: LintLevelsProvider> LintLevelsBuilder<'s, P> {
                                     name: Symbol::intern(&new_lint_name),
                                     span: sp,
                                     reason,
-                                    tool: tool_name,
                                 };
                                 for id in ids {
                                     self.insert_spec(*id, (level, src));
@@ -779,7 +776,6 @@ impl<'s, P: LintLevelsProvider> LintLevelsBuilder<'s, P> {
                             name: Symbol::intern(&new_name),
                             span: sp,
                             reason,
-                            tool: tool_name,
                         };
                         for &id in ids {
                             if self.check_gated_lint(id, attr.span) {

compiler/rustc_middle/src/lint.rs

@@ -30,8 +30,6 @@ pub enum LintLevelSource {
         span: Span,
         /// RFC 2383 reason
         reason: Option<Symbol>,
-        /// The lint tool. (e.g. rustdoc, clippy)
-        tool: Option<Symbol>,
     },
 
     /// Lint level was set by a command-line flag.