Remove unused tool_name.

2022-09-10 09:58:35 +02:00
parent 3cb1811e45
commit 107170b9c3
2 changed files with 0 additions and 6 deletions
--- a/compiler/rustc_middle/src/lint.rs
+++ b/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.