From 7b9388b7b5fcdbb2f7e7178dc0a533e3284184c5 Mon Sep 17 00:00:00 2001
From: flip1995 <9744647+flip1995@users.noreply.github.com>
Date: Mon, 30 Jul 2018 16:07:00 +0200
Subject: [PATCH] Explain that the tool is responsible for unknown tool_lints

---
 src/librustc/lint/levels.rs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/librustc/lint/levels.rs b/src/librustc/lint/levels.rs
index 6a29b8c3e3e..483e2ea8a96 100644
--- a/src/librustc/lint/levels.rs
+++ b/src/librustc/lint/levels.rs
@@ -273,9 +273,10 @@ pub fn push(&mut self, attrs: &[ast::Attribute]) -> BuilderPush {
                                 specs.insert(*id, (level, src));
                             }
                         }
-                        //FIXME: if Tool(None) is returned than the lint either does not exist in
-                        //the lint tool or the code doesn't get compiled with the lint tool and
-                        //therefore the lint cannot exist.
+                        // If Tool(None) is returned, then either the lint does not exist in the
+                        // tool or the code was not compiled with the tool and therefore the lint
+                        // was never added to the `LintStore`. To detect this is the responsibility
+                        // of the lint tool.
                     }
 
                     _ if !self.warn_about_weird_lints => {}
-- 
2.44.0