Skip to content

Commit

Permalink
Explain that the tool is responsible for unknown tool_lints
Browse files Browse the repository at this point in the history
  • Loading branch information
flip1995 committed Jul 30, 2018
1 parent d4ff949 commit 7b9388b
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions src/librustc/lint/levels.rs
Original file line number Diff line number Diff line change
Expand Up @@ -273,9 +273,10 @@ impl<'a> LintLevelsBuilder<'a> {
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 => {}
Expand Down

0 comments on commit 7b9388b

Please sign in to comment.