pub(crate) struct DiagCtxtInner {Show 17 fields
pub(crate) flags: DiagCtxtFlags,
pub(crate) err_guars: Vec<ErrorGuaranteed>,
pub(crate) lint_err_guars: Vec<ErrorGuaranteed>,
pub(crate) delayed_bugs: Vec<(DelayedDiagInner, ErrorGuaranteed)>,
pub(crate) deduplicated_err_count: usize,
pub(crate) deduplicated_warn_count: usize,
pub(crate) emitter: Box<DynEmitter>,
pub(crate) must_produce_diag: Option<Backtrace>,
pub(crate) has_printed: bool,
pub(crate) suppressed_expected_diag: bool,
pub(crate) taught_diagnostics: FxHashSet<ErrCode>,
pub(crate) emitted_diagnostic_codes: FxIndexSet<ErrCode>,
pub(crate) emitted_diagnostics: FxHashSet<Hash128>,
pub(crate) stashed_diagnostics: FxIndexMap<(Span, StashKey), (DiagInner, Option<ErrorGuaranteed>)>,
pub(crate) future_breakage_diagnostics: Vec<DiagInner>,
pub(crate) fulfilled_expectations: FxIndexSet<LintExpectationId>,
pub(crate) ice_file: Option<PathBuf>,
}
Expand description
This inner struct exists to keep it all behind a single lock; this is done to prevent possible deadlocks in a multi-threaded compiler, as well as inconsistent state observation.
Fields§
§flags: DiagCtxtFlags
§err_guars: Vec<ErrorGuaranteed>
The error guarantees from all emitted errors. The length gives the error count.
lint_err_guars: Vec<ErrorGuaranteed>
The error guarantee from all emitted lint errors. The length gives the lint error count.
delayed_bugs: Vec<(DelayedDiagInner, ErrorGuaranteed)>
The delayed bugs and their error guarantees.
deduplicated_err_count: usize
The error count shown to the user at the end.
deduplicated_warn_count: usize
The warning count shown to the user at the end.
emitter: Box<DynEmitter>
§must_produce_diag: Option<Backtrace>
Must we produce a diagnostic to justify the use of the expensive
trimmed_def_paths
function? Backtrace is the location of the call.
has_printed: bool
Has this diagnostic context printed any diagnostics? (I.e. has
self.emitter.emit_diagnostic()
been called?
suppressed_expected_diag: bool
This flag indicates that an expected diagnostic was emitted and suppressed.
This is used for the must_produce_diag
check.
taught_diagnostics: FxHashSet<ErrCode>
This set contains the code of all emitted diagnostics to avoid
emitting the same diagnostic with extended help (--teach
) twice, which
would be unnecessary repetition.
emitted_diagnostic_codes: FxIndexSet<ErrCode>
Used to suggest rustc –explain <error code>
emitted_diagnostics: FxHashSet<Hash128>
This set contains a hash of every diagnostic that has been emitted by
this DiagCtxt
. These hashes is used to avoid emitting the same error
twice.
stashed_diagnostics: FxIndexMap<(Span, StashKey), (DiagInner, Option<ErrorGuaranteed>)>
Stashed diagnostics emitted in one stage of the compiler that may be
stolen and emitted/cancelled by other stages (e.g. to improve them and
add more information). All stashed diagnostics must be emitted with
emit_stashed_diagnostics
by the time the DiagCtxtInner
is dropped,
otherwise an assertion failure will occur.
future_breakage_diagnostics: Vec<DiagInner>
§fulfilled_expectations: FxIndexSet<LintExpectationId>
expected diagnostic will have the level Expect
which additionally
carries the LintExpectationId
of the expectation that can be
marked as fulfilled. This is a collection of all LintExpectationId
s
that have been marked as fulfilled this way.
Emitting expectations after having stolen this field can happen. In particular, an
#[expect(warnings)]
can easily make the UNFULFILLED_LINT_EXPECTATIONS
lint expect
itself. To avoid needless complexity in this corner case, we tolerate failing to track
those expectations.
ice_file: Option<PathBuf>
The file where the ICE information is stored. This allows delayed_span_bug backtraces to be stored along side the main panic backtrace.
Implementations§
Source§impl DiagCtxtInner
impl DiagCtxtInner
pub(crate) fn new(emitter: Box<DynEmitter>) -> Self
Sourcepub(crate) fn emit_stashed_diagnostics(&mut self) -> Option<ErrorGuaranteed>
pub(crate) fn emit_stashed_diagnostics(&mut self) -> Option<ErrorGuaranteed>
Emit all stashed diagnostics.
pub(crate) fn emit_diagnostic( &mut self, diagnostic: DiagInner, taint: Option<&Cell<Option<ErrorGuaranteed>>>, ) -> Option<ErrorGuaranteed>
pub(crate) fn treat_err_as_bug(&self) -> bool
pub(crate) fn treat_next_err_as_bug(&self) -> bool
pub(crate) fn has_errors_excluding_lint_errors(&self) -> Option<ErrorGuaranteed>
pub(crate) fn has_errors(&self) -> Option<ErrorGuaranteed>
pub(crate) fn has_errors_or_delayed_bugs(&self) -> Option<ErrorGuaranteed>
Sourcepub(crate) fn eagerly_translate<'a>(
&self,
message: DiagMessage,
args: impl Iterator<Item = DiagArg<'a>>,
) -> SubdiagMessage
pub(crate) fn eagerly_translate<'a>( &self, message: DiagMessage, args: impl Iterator<Item = DiagArg<'a>>, ) -> SubdiagMessage
Translate message
eagerly with args
to SubdiagMessage::Eager
.
Sourcepub(crate) fn eagerly_translate_to_string<'a>(
&self,
message: DiagMessage,
args: impl Iterator<Item = DiagArg<'a>>,
) -> String
pub(crate) fn eagerly_translate_to_string<'a>( &self, message: DiagMessage, args: impl Iterator<Item = DiagArg<'a>>, ) -> String
Translate message
eagerly with args
to String
.
pub(crate) fn eagerly_translate_for_subdiag( &self, diag: &DiagInner, msg: impl Into<SubdiagMessage>, ) -> SubdiagMessage
pub(crate) fn flush_delayed(&mut self)
pub(crate) fn panic_if_treat_err_as_bug(&self)
Trait Implementations§
Auto Trait Implementations§
impl DynSend for DiagCtxtInner
impl !DynSync for DiagCtxtInner
impl !Freeze for DiagCtxtInner
impl !RefUnwindSafe for DiagCtxtInner
impl !Send for DiagCtxtInner
impl !Sync for DiagCtxtInner
impl Unpin for DiagCtxtInner
impl !UnwindSafe for DiagCtxtInner
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<T> Filterable for T
impl<T> Filterable for T
Source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 456 bytes