Remove warnings/errors from compiler when using typeck_body in rustdoc span map builder

This commit is contained in:
Guillaume Gomez 2021-07-21 14:53:13 +02:00
parent 0799528db7
commit 5cf300d695
3 changed files with 25 additions and 6 deletions

View File

@ -342,6 +342,9 @@ struct HandlerInner {
deduplicated_warn_count: usize, deduplicated_warn_count: usize,
future_breakage_diagnostics: Vec<Diagnostic>, future_breakage_diagnostics: Vec<Diagnostic>,
/// If set to `true`, no warning or error will be emitted.
quiet: bool,
} }
/// A key denoting where from a diagnostic was stashed. /// A key denoting where from a diagnostic was stashed.
@ -456,10 +459,19 @@ impl Handler {
emitted_diagnostics: Default::default(), emitted_diagnostics: Default::default(),
stashed_diagnostics: Default::default(), stashed_diagnostics: Default::default(),
future_breakage_diagnostics: Vec::new(), future_breakage_diagnostics: Vec::new(),
quiet: false,
}), }),
} }
} }
pub fn with_disabled_diagnostic<T, F: FnOnce() -> T>(&self, f: F) -> T {
let prev = self.inner.borrow_mut().quiet;
self.inner.borrow_mut().quiet = true;
let ret = f();
self.inner.borrow_mut().quiet = prev;
ret
}
// This is here to not allow mutation of flags; // This is here to not allow mutation of flags;
// as of this writing it's only used in tests in librustc_middle. // as of this writing it's only used in tests in librustc_middle.
pub fn can_emit_warnings(&self) -> bool { pub fn can_emit_warnings(&self) -> bool {
@ -818,7 +830,7 @@ impl HandlerInner {
} }
fn emit_diagnostic(&mut self, diagnostic: &Diagnostic) { fn emit_diagnostic(&mut self, diagnostic: &Diagnostic) {
if diagnostic.cancelled() { if diagnostic.cancelled() || self.quiet {
return; return;
} }
@ -1035,6 +1047,9 @@ impl HandlerInner {
} }
fn delay_as_bug(&mut self, diagnostic: Diagnostic) { fn delay_as_bug(&mut self, diagnostic: Diagnostic) {
if self.quiet {
return;
}
if self.flags.report_delayed_bugs { if self.flags.report_delayed_bugs {
self.emit_diagnostic(&diagnostic); self.emit_diagnostic(&diagnostic);
} }

View File

@ -500,6 +500,10 @@ impl Session {
&self.parse_sess.span_diagnostic &self.parse_sess.span_diagnostic
} }
pub fn with_disabled_diagnostic<T, F: FnOnce() -> T>(&self, f: F) -> T {
self.parse_sess.span_diagnostic.with_disabled_diagnostic(f)
}
/// Analogous to calling methods on the given `DiagnosticBuilder`, but /// Analogous to calling methods on the given `DiagnosticBuilder`, but
/// deduplicates on lint ID, span (if any), and message for this `Session` /// deduplicates on lint ID, span (if any), and message for this `Session`
fn diag_once<'a, 'b>( fn diag_once<'a, 'b>(

View File

@ -181,11 +181,11 @@ impl Visitor<'tcx> for SpanMapVisitor<'tcx> {
if let Some(hir_id) = segment.hir_id { if let Some(hir_id) = segment.hir_id {
let hir = self.tcx.hir(); let hir = self.tcx.hir();
let body_id = hir.enclosing_body_owner(hir_id); let body_id = hir.enclosing_body_owner(hir_id);
// FIXME: this is showing error messages for parts of the code that are not let typeck_results = self.tcx.sess.with_disabled_diagnostic(|| {
// compiled (because of cfg)! self.tcx.typeck_body(
let typeck_results = self.tcx.typeck_body( hir.maybe_body_owned_by(body_id).expect("a body which isn't a body"),
hir.maybe_body_owned_by(body_id).expect("a body which isn't a body"), )
); });
if let Some(def_id) = typeck_results.type_dependent_def_id(expr.hir_id) { if let Some(def_id) = typeck_results.type_dependent_def_id(expr.hir_id) {
self.matches.insert( self.matches.insert(
LightSpan::new_from_span(method_span), LightSpan::new_from_span(method_span),