diff options
Diffstat (limited to 'src/librustdoc/core.rs')
| -rw-r--r-- | src/librustdoc/core.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/librustdoc/core.rs b/src/librustdoc/core.rs index 77375442d4c..769c9804a35 100644 --- a/src/librustdoc/core.rs +++ b/src/librustdoc/core.rs @@ -203,9 +203,7 @@ pub fn run_core(search_paths: SearchPaths, intra_link_resolution_failure_name.to_owned(), missing_docs.to_owned()]; - for (lint, _) in &cmd_lints { - whitelisted_lints.push(lint.clone()); - } + whitelisted_lints.extend(cmd_lints.iter().map(|(lint, _)| lint).cloned()); let lints = lint::builtin::HardwiredLints.get_lints() .into_iter() |