diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2020-01-03 18:03:11 +0400 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2020-01-03 18:03:28 +0400 |
| commit | 5bf810599306fd880b0946ecb3e1ec37ca72762f (patch) | |
| tree | 6e4ce72ed8d7169d110fec830df3f21a13f3545f /src/librustc_errors | |
| parent | 6bd6a204754658173be37f77985abf052bc33b6d (diff) | |
| download | rust-5bf810599306fd880b0946ecb3e1ec37ca72762f.tar.gz rust-5bf810599306fd880b0946ecb3e1ec37ca72762f.zip | |
Address review comments + Fix rebase
Diffstat (limited to 'src/librustc_errors')
| -rw-r--r-- | src/librustc_errors/lib.rs | 3 |
1 files changed, 2 insertions, 1 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() { |