Struct rustc_errors::Diag
source · pub struct Diag<'a, G: EmissionGuarantee = ErrorGuaranteed> {
pub dcx: DiagCtxtHandle<'a>,
diag: Option<Box<DiagInner>>,
_marker: PhantomData<G>,
}
Expand description
Used for emitting structured error messages and other diagnostic information.
Wraps a DiagInner
, adding some useful things.
- The
dcx
field, allowing it to (a) emit itself, and (b) do a drop check that it has been emitted or cancelled. - The
EmissionGuarantee
, which determines the type returned fromemit
.
Each constructed Diag
must be consumed by a function such as emit
,
cancel
, delay_as_bug
, or into_diag
. A panic occurrs if a Diag
is dropped without being consumed by one of these functions.
If there is some state in a downstream crate you would like to access in
the methods of Diag
here, consider extending DiagCtxtFlags
.
Fields§
§dcx: DiagCtxtHandle<'a>
§diag: Option<Box<DiagInner>>
Why the Option
? It is always Some
until the Diag
is consumed via
emit
, cancel
, etc. At that point it is consumed and replaced with
None
. Then drop
checks that it is None
; if not, it panics because
a diagnostic was built but not used.
Why the Box? DiagInner
is a large type, and Diag
is often used as a
return value, especially within the frequently-used PResult
type. In
theory, return value optimization (RVO) should avoid unnecessary
copying. In practice, it does not (at the time of writing).
_marker: PhantomData<G>
Implementations§
source§impl<'a, G: EmissionGuarantee> Diag<'a, G>
impl<'a, G: EmissionGuarantee> Diag<'a, G>
pub fn new( dcx: DiagCtxtHandle<'a>, level: Level, message: impl Into<DiagMessage>, ) -> Self
sourcepub fn with_dcx(self, dcx: DiagCtxtHandle<'_>) -> Diag<'_, G>
pub fn with_dcx(self, dcx: DiagCtxtHandle<'_>) -> Diag<'_, G>
Allow moving diagnostics between different error tainting contexts
sourcepub(crate) fn new_diagnostic(dcx: DiagCtxtHandle<'a>, diag: DiagInner) -> Self
pub(crate) fn new_diagnostic(dcx: DiagCtxtHandle<'a>, diag: DiagInner) -> Self
Creates a new Diag
with an already constructed diagnostic.
sourcepub fn downgrade_to_delayed_bug(&mut self)
pub fn downgrade_to_delayed_bug(&mut self)
Delay emission of this diagnostic as a bug.
This can be useful in contexts where an error indicates a bug but typically this only happens when other compilation errors have already happened. In those cases this can be used to defer emission of this diagnostic as a bug in the compiler only if no other errors have been emitted.
In the meantime, though, callsites are required to deal with the “bug” locally in whichever way makes the most sense.
sourcepub fn span_label(
&mut self,
span: Span,
label: impl Into<SubdiagMessage>,
) -> &mut Self
pub fn span_label( &mut self, span: Span, label: impl Into<SubdiagMessage>, ) -> &mut Self
Appends a labeled span to the diagnostic.
Labels are used to convey additional context for the diagnostic’s primary span. They will
be shown together with the original diagnostic’s span, not with spans added by
span_note
, span_help
, etc. Therefore, if the primary span is not displayable (because
the span is DUMMY_SP
or the source code isn’t found), labels will not be displayed
either.
Implementation-wise, the label span is pushed onto the MultiSpan
that was created when
the diagnostic was constructed. However, the label span is not considered a
“primary span”; only the Span
supplied when creating the diagnostic is
primary.
See Diag::span_label()
.
sourcepub fn with_span_label(
self,
span: Span,
label: impl Into<SubdiagMessage>,
) -> Self
pub fn with_span_label( self, span: Span, label: impl Into<SubdiagMessage>, ) -> Self
Appends a labeled span to the diagnostic.
Labels are used to convey additional context for the diagnostic’s primary span. They will
be shown together with the original diagnostic’s span, not with spans added by
span_note
, span_help
, etc. Therefore, if the primary span is not displayable (because
the span is DUMMY_SP
or the source code isn’t found), labels will not be displayed
either.
Implementation-wise, the label span is pushed onto the MultiSpan
that was created when
the diagnostic was constructed. However, the label span is not considered a
“primary span”; only the Span
supplied when creating the diagnostic is
primary.
See Diag::span_label()
.
sourcepub fn span_labels(
&mut self,
spans: impl IntoIterator<Item = Span>,
label: &str,
) -> &mut Self
pub fn span_labels( &mut self, spans: impl IntoIterator<Item = Span>, label: &str, ) -> &mut Self
Labels all the given spans with the provided label.
See Self::span_label()
for more information.
See Diag::span_labels()
.
sourcepub fn with_span_labels(
self,
spans: impl IntoIterator<Item = Span>,
label: &str,
) -> Self
pub fn with_span_labels( self, spans: impl IntoIterator<Item = Span>, label: &str, ) -> Self
Labels all the given spans with the provided label.
See Self::span_label()
for more information.
See Diag::span_labels()
.
pub fn replace_span_with(&mut self, after: Span, keep_label: bool) -> &mut Self
pub fn note_expected_found( &mut self, expected_label: &dyn Display, expected: DiagStyledString, found_label: &dyn Display, found: DiagStyledString, ) -> &mut Self
pub fn note_expected_found_extra( &mut self, expected_label: &dyn Display, expected: DiagStyledString, found_label: &dyn Display, found: DiagStyledString, expected_extra: &dyn Display, found_extra: &dyn Display, ) -> &mut Self
pub fn note_trait_signature( &mut self, name: Symbol, signature: String, ) -> &mut Self
sourcepub fn note(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
pub fn note(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
Add a note attached to this diagnostic.
See Diag::note()
.
sourcepub fn with_note(self, msg: impl Into<SubdiagMessage>) -> Self
pub fn with_note(self, msg: impl Into<SubdiagMessage>) -> Self
Add a note attached to this diagnostic.
See Diag::note()
.
pub fn highlighted_note(&mut self, msg: Vec<StringPart>) -> &mut Self
sourcepub fn note_once(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
pub fn note_once(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
This is like Diag::note()
, but it’s only printed once.
sourcepub fn span_note(
&mut self,
sp: impl Into<MultiSpan>,
msg: impl Into<SubdiagMessage>,
) -> &mut Self
pub fn span_note( &mut self, sp: impl Into<MultiSpan>, msg: impl Into<SubdiagMessage>, ) -> &mut Self
Prints the span with a note above it.
This is like Diag::note()
, but it gets its own span.
See Diag::span_note()
.
sourcepub fn with_span_note(
self,
sp: impl Into<MultiSpan>,
msg: impl Into<SubdiagMessage>,
) -> Self
pub fn with_span_note( self, sp: impl Into<MultiSpan>, msg: impl Into<SubdiagMessage>, ) -> Self
Prints the span with a note above it.
This is like Diag::note()
, but it gets its own span.
See Diag::span_note()
.
sourcepub fn span_note_once<S: Into<MultiSpan>>(
&mut self,
sp: S,
msg: impl Into<SubdiagMessage>,
) -> &mut Self
pub fn span_note_once<S: Into<MultiSpan>>( &mut self, sp: S, msg: impl Into<SubdiagMessage>, ) -> &mut Self
Prints the span with a note above it.
This is like Diag::note_once()
, but it gets its own span.
sourcepub fn warn(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
pub fn warn(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
Add a warning attached to this diagnostic.
See Diag::warn()
.
sourcepub fn with_warn(self, msg: impl Into<SubdiagMessage>) -> Self
pub fn with_warn(self, msg: impl Into<SubdiagMessage>) -> Self
Add a warning attached to this diagnostic.
See Diag::warn()
.
sourcepub fn span_warn<S: Into<MultiSpan>>(
&mut self,
sp: S,
msg: impl Into<SubdiagMessage>,
) -> &mut Self
pub fn span_warn<S: Into<MultiSpan>>( &mut self, sp: S, msg: impl Into<SubdiagMessage>, ) -> &mut Self
Prints the span with a warning above it.
This is like Diag::warn()
, but it gets its own span.
sourcepub fn help(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
pub fn help(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
Add a help message attached to this diagnostic.
See Diag::help()
.
sourcepub fn with_help(self, msg: impl Into<SubdiagMessage>) -> Self
pub fn with_help(self, msg: impl Into<SubdiagMessage>) -> Self
Add a help message attached to this diagnostic.
See Diag::help()
.
sourcepub fn help_once(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
pub fn help_once(&mut self, msg: impl Into<SubdiagMessage>) -> &mut Self
This is like Diag::help()
, but it’s only printed once.
sourcepub fn highlighted_help(&mut self, msg: Vec<StringPart>) -> &mut Self
pub fn highlighted_help(&mut self, msg: Vec<StringPart>) -> &mut Self
Add a help message attached to this diagnostic with a customizable highlighted message.
sourcepub fn span_help<S: Into<MultiSpan>>(
&mut self,
sp: S,
msg: impl Into<SubdiagMessage>,
) -> &mut Self
pub fn span_help<S: Into<MultiSpan>>( &mut self, sp: S, msg: impl Into<SubdiagMessage>, ) -> &mut Self
Prints the span with some help above it.
This is like Diag::help()
, but it gets its own span.
sourcepub fn disable_suggestions(&mut self) -> &mut Self
pub fn disable_suggestions(&mut self) -> &mut Self
Disallow attaching suggestions this diagnostic.
Any suggestions attached e.g. with the span_suggestion_*
methods
(before and after the call to disable_suggestions
) will be ignored.
sourcefn push_suggestion(&mut self, suggestion: CodeSuggestion)
fn push_suggestion(&mut self, suggestion: CodeSuggestion)
Helper for pushing to self.suggestions
, if available (not disable).
sourcepub fn multipart_suggestion(
&mut self,
msg: impl Into<SubdiagMessage>,
suggestion: Vec<(Span, String)>,
applicability: Applicability,
) -> &mut Self
pub fn multipart_suggestion( &mut self, msg: impl Into<SubdiagMessage>, suggestion: Vec<(Span, String)>, applicability: Applicability, ) -> &mut Self
Show a suggestion that has multiple parts to it.
In other words, multiple changes need to be applied as part of this suggestion.
See Diag::multipart_suggestion()
.
sourcepub fn with_multipart_suggestion(
self,
msg: impl Into<SubdiagMessage>,
suggestion: Vec<(Span, String)>,
applicability: Applicability,
) -> Self
pub fn with_multipart_suggestion( self, msg: impl Into<SubdiagMessage>, suggestion: Vec<(Span, String)>, applicability: Applicability, ) -> Self
Show a suggestion that has multiple parts to it.
In other words, multiple changes need to be applied as part of this suggestion.
See Diag::multipart_suggestion()
.
sourcepub fn multipart_suggestion_verbose(
&mut self,
msg: impl Into<SubdiagMessage>,
suggestion: Vec<(Span, String)>,
applicability: Applicability,
) -> &mut Self
pub fn multipart_suggestion_verbose( &mut self, msg: impl Into<SubdiagMessage>, suggestion: Vec<(Span, String)>, applicability: Applicability, ) -> &mut Self
Show a suggestion that has multiple parts to it, always as it’s own subdiagnostic. In other words, multiple changes need to be applied as part of this suggestion.
sourcepub fn multipart_suggestion_with_style(
&mut self,
msg: impl Into<SubdiagMessage>,
suggestion: Vec<(Span, String)>,
applicability: Applicability,
style: SuggestionStyle,
) -> &mut Self
pub fn multipart_suggestion_with_style( &mut self, msg: impl Into<SubdiagMessage>, suggestion: Vec<(Span, String)>, applicability: Applicability, style: SuggestionStyle, ) -> &mut Self
Diag::multipart_suggestion()
but you can set the SuggestionStyle
.
sourcepub fn tool_only_multipart_suggestion(
&mut self,
msg: impl Into<SubdiagMessage>,
suggestion: Vec<(Span, String)>,
applicability: Applicability,
) -> &mut Self
pub fn tool_only_multipart_suggestion( &mut self, msg: impl Into<SubdiagMessage>, suggestion: Vec<(Span, String)>, applicability: Applicability, ) -> &mut Self
Prints out a message with for a multipart suggestion without showing the suggested code.
This is intended to be used for suggestions that are obvious in what the changes need to be from the message, showing the span label inline would be visually unpleasant (marginally overlapping spans or multiline spans) and showing the snippet window wouldn’t improve understandability.
sourcepub fn span_suggestion(
&mut self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
) -> &mut Self
pub fn span_suggestion( &mut self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, ) -> &mut Self
Prints out a message with a suggested edit of the code.
In case of short messages and a simple suggestion, rustc displays it as a label:
try adding parentheses: `(tup.0).1`
The message
- should not end in any punctuation (a
:
is added automatically) - should not be a question (avoid language like “did you mean”)
- should not contain any phrases like “the following”, “as shown”, etc.
- may look like “to do xyz, use” or “to do xyz, use abc”
- may contain a name of a function, variable, or type, but not whole expressions
See CodeSuggestion
for more information.
See Diag::span_suggestion()
.
sourcepub fn with_span_suggestion(
self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
) -> Self
pub fn with_span_suggestion( self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, ) -> Self
Prints out a message with a suggested edit of the code.
In case of short messages and a simple suggestion, rustc displays it as a label:
try adding parentheses: `(tup.0).1`
The message
- should not end in any punctuation (a
:
is added automatically) - should not be a question (avoid language like “did you mean”)
- should not contain any phrases like “the following”, “as shown”, etc.
- may look like “to do xyz, use” or “to do xyz, use abc”
- may contain a name of a function, variable, or type, but not whole expressions
See CodeSuggestion
for more information.
See Diag::span_suggestion()
.
sourcepub fn span_suggestion_with_style(
&mut self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
style: SuggestionStyle,
) -> &mut Self
pub fn span_suggestion_with_style( &mut self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, style: SuggestionStyle, ) -> &mut Self
Diag::span_suggestion()
but you can set the SuggestionStyle
.
sourcepub fn span_suggestion_verbose(
&mut self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
) -> &mut Self
pub fn span_suggestion_verbose( &mut self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, ) -> &mut Self
Always show the suggested change.
See Diag::span_suggestion_verbose()
.
sourcepub fn with_span_suggestion_verbose(
self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
) -> Self
pub fn with_span_suggestion_verbose( self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, ) -> Self
Always show the suggested change.
See Diag::span_suggestion_verbose()
.
sourcepub fn span_suggestions(
&mut self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestions: impl IntoIterator<Item = String>,
applicability: Applicability,
) -> &mut Self
pub fn span_suggestions( &mut self, sp: Span, msg: impl Into<SubdiagMessage>, suggestions: impl IntoIterator<Item = String>, applicability: Applicability, ) -> &mut Self
Prints out a message with multiple suggested edits of the code.
See also Diag::span_suggestion()
.
See Diag::span_suggestions()
.
sourcepub fn with_span_suggestions(
self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestions: impl IntoIterator<Item = String>,
applicability: Applicability,
) -> Self
pub fn with_span_suggestions( self, sp: Span, msg: impl Into<SubdiagMessage>, suggestions: impl IntoIterator<Item = String>, applicability: Applicability, ) -> Self
Prints out a message with multiple suggested edits of the code.
See also Diag::span_suggestion()
.
See Diag::span_suggestions()
.
pub fn span_suggestions_with_style( &mut self, sp: Span, msg: impl Into<SubdiagMessage>, suggestions: impl IntoIterator<Item = String>, applicability: Applicability, style: SuggestionStyle, ) -> &mut Self
sourcepub fn multipart_suggestions(
&mut self,
msg: impl Into<SubdiagMessage>,
suggestions: impl IntoIterator<Item = Vec<(Span, String)>>,
applicability: Applicability,
) -> &mut Self
pub fn multipart_suggestions( &mut self, msg: impl Into<SubdiagMessage>, suggestions: impl IntoIterator<Item = Vec<(Span, String)>>, applicability: Applicability, ) -> &mut Self
Prints out a message with multiple suggested edits of the code, where each edit consists of
multiple parts.
See also Diag::multipart_suggestion()
.
sourcepub fn span_suggestion_short(
&mut self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
) -> &mut Self
pub fn span_suggestion_short( &mut self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, ) -> &mut Self
Prints out a message with a suggested edit of the code. If the suggestion is presented inline, it will only show the message and not the suggestion.
See CodeSuggestion
for more information.
See Diag::span_suggestion_short()
.
sourcepub fn with_span_suggestion_short(
self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
) -> Self
pub fn with_span_suggestion_short( self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, ) -> Self
Prints out a message with a suggested edit of the code. If the suggestion is presented inline, it will only show the message and not the suggestion.
See CodeSuggestion
for more information.
See Diag::span_suggestion_short()
.
Prints out a message for a suggestion without showing the suggested code.
This is intended to be used for suggestions that are obvious in what the changes need to be from the message, showing the span label inline would be visually unpleasant (marginally overlapping spans or multiline spans) and showing the snippet window wouldn’t improve understandability.
sourcepub fn tool_only_span_suggestion(
&mut self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
) -> &mut Self
pub fn tool_only_span_suggestion( &mut self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, ) -> &mut Self
Adds a suggestion to the JSON output that will not be shown in the CLI.
This is intended to be used for suggestions that are very obvious in what the changes
need to be from the message, but we still want other tools to be able to apply them.
See Diag::tool_only_span_suggestion()
.
sourcepub fn with_tool_only_span_suggestion(
self,
sp: Span,
msg: impl Into<SubdiagMessage>,
suggestion: impl ToString,
applicability: Applicability,
) -> Self
pub fn with_tool_only_span_suggestion( self, sp: Span, msg: impl Into<SubdiagMessage>, suggestion: impl ToString, applicability: Applicability, ) -> Self
Adds a suggestion to the JSON output that will not be shown in the CLI.
This is intended to be used for suggestions that are very obvious in what the changes
need to be from the message, but we still want other tools to be able to apply them.
See Diag::tool_only_span_suggestion()
.
sourcepub fn subdiagnostic(&mut self, subdiagnostic: impl Subdiagnostic) -> &mut Self
pub fn subdiagnostic(&mut self, subdiagnostic: impl Subdiagnostic) -> &mut Self
Add a subdiagnostic from a type that implements Subdiagnostic
(see
rustc_macros::Subdiagnostic). Performs eager translation of any translatable messages
used in the subdiagnostic, so suitable for use with repeated messages (i.e. re-use of
interpolated variables).
sourcepub fn with_span(self, sp: impl Into<MultiSpan>) -> Self
pub fn with_span(self, sp: impl Into<MultiSpan>) -> Self
Add a span.
See Diag::span()
.
pub fn is_lint(&mut self, name: String, has_future_breakage: bool) -> &mut Self
sourcepub fn code(&mut self, code: ErrCode) -> &mut Self
pub fn code(&mut self, code: ErrCode) -> &mut Self
Add an error code.
See Diag::code()
.
sourcepub fn with_code(self, code: ErrCode) -> Self
pub fn with_code(self, code: ErrCode) -> Self
Add an error code.
See Diag::code()
.
sourcepub fn primary_message(&mut self, msg: impl Into<DiagMessage>) -> &mut Self
pub fn primary_message(&mut self, msg: impl Into<DiagMessage>) -> &mut Self
Add a primary message.
See Diag::primary_message()
.
sourcepub fn with_primary_message(self, msg: impl Into<DiagMessage>) -> Self
pub fn with_primary_message(self, msg: impl Into<DiagMessage>) -> Self
Add a primary message.
See Diag::primary_message()
.
sourcepub fn arg(
&mut self,
name: impl Into<DiagArgName>,
arg: impl IntoDiagArg,
) -> &mut Self
pub fn arg( &mut self, name: impl Into<DiagArgName>, arg: impl IntoDiagArg, ) -> &mut Self
Add an argument.
See Diag::arg()
.
sourcepub fn with_arg(
self,
name: impl Into<DiagArgName>,
arg: impl IntoDiagArg,
) -> Self
pub fn with_arg( self, name: impl Into<DiagArgName>, arg: impl IntoDiagArg, ) -> Self
Add an argument.
See Diag::arg()
.
sourcepub(crate) fn subdiagnostic_message_to_diagnostic_message(
&self,
attr: impl Into<SubdiagMessage>,
) -> DiagMessage
pub(crate) fn subdiagnostic_message_to_diagnostic_message( &self, attr: impl Into<SubdiagMessage>, ) -> DiagMessage
Helper function that takes a SubdiagMessage
and returns a DiagMessage
by
combining it with the primary message of the diagnostic (if translatable, otherwise it just
passes the user’s string along).
sourcepub fn sub(
&mut self,
level: Level,
message: impl Into<SubdiagMessage>,
span: MultiSpan,
)
pub fn sub( &mut self, level: Level, message: impl Into<SubdiagMessage>, span: MultiSpan, )
Convenience function for internal use, clients should use one of the public methods above.
Used by proc_macro_server
for implementing server::Diagnostic
.
sourcefn sub_with_highlights(
&mut self,
level: Level,
messages: Vec<StringPart>,
span: MultiSpan,
)
fn sub_with_highlights( &mut self, level: Level, messages: Vec<StringPart>, span: MultiSpan, )
Convenience function for internal use, clients should use one of the public methods above.
sourcefn take_diag(&mut self) -> DiagInner
fn take_diag(&mut self) -> DiagInner
Takes the diagnostic. For use by methods that consume the Diag: emit
,
cancel
, etc. Afterwards, drop
is the only code that will be run on
self
.
sourcefn emit_producing_nothing(self)
fn emit_producing_nothing(self)
Most emit_producing_guarantee
functions use this as a starting point.
sourcefn emit_producing_error_guaranteed(self) -> ErrorGuaranteed
fn emit_producing_error_guaranteed(self) -> ErrorGuaranteed
ErrorGuaranteed::emit_producing_guarantee
uses this.
sourcepub fn emit(self) -> G::EmitResult
pub fn emit(self) -> G::EmitResult
Emit and consume the diagnostic.
sourcepub fn emit_unless(self, delay: bool) -> G::EmitResult
pub fn emit_unless(self, delay: bool) -> G::EmitResult
Emit the diagnostic unless delay
is true,
in which case the emission will be delayed as a bug.
See emit
and delay_as_bug
for details.
sourcepub fn cancel(self)
pub fn cancel(self)
Cancel and consume the diagnostic. (A diagnostic must either be emitted or cancelled or it will panic when dropped).
sourcepub fn stash(self, span: Span, key: StashKey) -> Option<ErrorGuaranteed>
pub fn stash(self, span: Span, key: StashKey) -> Option<ErrorGuaranteed>
See DiagCtxt::stash_diagnostic
for details.
sourcepub fn delay_as_bug(self) -> G::EmitResult
pub fn delay_as_bug(self) -> G::EmitResult
Delay emission of this diagnostic as a bug.
This can be useful in contexts where an error indicates a bug but typically this only happens when other compilation errors have already happened. In those cases this can be used to defer emission of this diagnostic as a bug in the compiler only if no other errors have been emitted.
In the meantime, though, callsites are required to deal with the “bug” locally in whichever way makes the most sense.
Methods from Deref<Target = DiagInner>§
pub fn level(&self) -> Level
pub fn is_error(&self) -> bool
pub(crate) fn update_unstable_expectation_id( &mut self, unstable_to_stable: &FxIndexMap<LintExpectationId, LintExpectationId>, )
sourcepub(crate) fn has_future_breakage(&self) -> bool
pub(crate) fn has_future_breakage(&self) -> bool
Indicates whether this diagnostic should show up in cargo’s future breakage report.
pub(crate) fn is_force_warn(&self) -> bool
pub(crate) fn subdiagnostic_message_to_diagnostic_message( &self, attr: impl Into<SubdiagMessage>, ) -> DiagMessage
pub(crate) fn sub( &mut self, level: Level, message: impl Into<SubdiagMessage>, span: MultiSpan, )
pub(crate) fn arg( &mut self, name: impl Into<DiagArgName>, arg: impl IntoDiagArg, )
sourcefn keys(
&self,
) -> (&Level, &[(DiagMessage, Style)], &Option<ErrCode>, &MultiSpan, &[Subdiag], &Result<Vec<CodeSuggestion>, SuggestionsDisabled>, Vec<(&DiagArgName, &DiagArgValue)>, &Option<IsLint>)
fn keys( &self, ) -> (&Level, &[(DiagMessage, Style)], &Option<ErrCode>, &MultiSpan, &[Subdiag], &Result<Vec<CodeSuggestion>, SuggestionsDisabled>, Vec<(&DiagArgName, &DiagArgValue)>, &Option<IsLint>)
Fields used for Hash, and PartialEq trait.
Trait Implementations§
source§impl<G: EmissionGuarantee> Debug for Diag<'_, G>
impl<G: EmissionGuarantee> Debug for Diag<'_, G>
source§impl<G: EmissionGuarantee> Deref for Diag<'_, G>
impl<G: EmissionGuarantee> Deref for Diag<'_, G>
source§impl<G: EmissionGuarantee> DerefMut for Diag<'_, G>
impl<G: EmissionGuarantee> DerefMut for Diag<'_, G>
Auto Trait Implementations§
impl<'a, G> Freeze for Diag<'a, G>
impl<'a, G = ErrorGuaranteed> !RefUnwindSafe for Diag<'a, G>
impl<'a, G = ErrorGuaranteed> !Send for Diag<'a, G>
impl<'a, G = ErrorGuaranteed> !Sync for Diag<'a, G>
impl<'a, G> Unpin for Diag<'a, G>where
G: Unpin,
impl<'a, G = ErrorGuaranteed> !UnwindSafe for Diag<'a, G>
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<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,
impl<T> MaybeSendSync for T
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: 24 bytes