about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVadim Petrochenkov <vadim.petrochenkov@gmail.com>2020-01-03 18:03:11 +0400
committerVadim Petrochenkov <vadim.petrochenkov@gmail.com>2020-01-03 18:03:28 +0400
commit5bf810599306fd880b0946ecb3e1ec37ca72762f (patch)
tree6e4ce72ed8d7169d110fec830df3f21a13f3545f
parent6bd6a204754658173be37f77985abf052bc33b6d (diff)
downloadrust-5bf810599306fd880b0946ecb3e1ec37ca72762f.tar.gz
rust-5bf810599306fd880b0946ecb3e1ec37ca72762f.zip
Address review comments + Fix rebase
-rw-r--r--src/librustc_errors/lib.rs3
-rw-r--r--src/librustdoc/core.rs4
2 files changed, 4 insertions, 3 deletions
diff --git a/src/librustc_errors/lib.rs b/src/librustc_errors/lib.rs
index 999c3470e71..2279ed85954 100644
--- a/src/librustc_errors/lib.rs
+++ b/src/librustc_errors/lib.rs
@@ -746,7 +746,8 @@ impl HandlerInner {
             !this.emitted_diagnostics.insert(diagnostic_hash)
         };
 
-        // Only emit the diagnostic if we haven't already emitted an equivalent one.
+        // Only emit the diagnostic if we've been asked to deduplicate and
+        // haven't already emitted an equivalent diagnostic.
         if !(self.flags.deduplicate_diagnostics && already_emitted(self)) {
             self.emitter.emit_diagnostic(diagnostic);
             if diagnostic.is_error() {
diff --git a/src/librustdoc/core.rs b/src/librustdoc/core.rs
index c48523961de..5f2ce34afee 100644
--- a/src/librustdoc/core.rs
+++ b/src/librustdoc/core.rs
@@ -184,7 +184,7 @@ pub fn new_handler(
                     debugging_opts.terminal_width,
                     false,
                 )
-                .ui_testing(debugging_opts.ui_testing),
+                .ui_testing(debugging_opts.ui_testing()),
             )
         }
         ErrorOutputType::Json { pretty, json_rendered } => {
@@ -193,7 +193,7 @@ pub fn new_handler(
             });
             Box::new(
                 JsonEmitter::stderr(None, source_map, pretty, json_rendered, false)
-                    .ui_testing(debugging_opts.ui_testing),
+                    .ui_testing(debugging_opts.ui_testing()),
             )
         }
     };