diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-07-09 18:10:08 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-07-09 18:10:08 +0200 |
| commit | 66beb4e5b4fe9b8dd5aa29c4bc8c775825a3b5e4 (patch) | |
| tree | 9c5946f2a51be3a6861b70123a6ef37129d7877f | |
| parent | 92cda8c7da86b6770a483bc45ce32c8b94b019ec (diff) | |
| download | rust-66beb4e5b4fe9b8dd5aa29c4bc8c775825a3b5e4.tar.gz rust-66beb4e5b4fe9b8dd5aa29c4bc8c775825a3b5e4.zip | |
add comment about lints whitelisting
| -rw-r--r-- | src/librustdoc/core.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/librustdoc/core.rs b/src/librustdoc/core.rs index c7a8e6804f6..f1ec82e0783 100644 --- a/src/librustdoc/core.rs +++ b/src/librustdoc/core.rs @@ -241,6 +241,8 @@ pub fn run_core(search_paths: SearchPaths, .into_iter() .chain(rustc_lint::SoftLints.get_lints().into_iter()) .filter_map(|lint| { + // We don't want to whitelist *all* lints so let's + // ignore those ones. if lint.name == warnings_lint_name || lint.name == intra_link_resolution_failure_name || lint.name == missing_docs { |