Enum SubdiagnosticKind

pub(super) enum SubdiagnosticKind {
    Label,
    Note,
    NoteOnce,
    Help,
    HelpOnce,
    Warn,
    Suggestion {
        suggestion_kind: SuggestionKind,
        applicability: Option<(Applicability, Span)>,
        code_field: Ident,
        code_init: TokenStream,
    },
    MultipartSuggestion {
        suggestion_kind: SuggestionKind,
        applicability: Option<(Applicability, Span)>,
    },
}

Types of subdiagnostics that can be created using attributes

Variants

Label

#[label(...)]

Note

#[note(...)]

NoteOnce

#[note_once(...)]

Help

#[help(...)]

HelpOnce

#[help_once(...)]

Warn

#[warning(...)]

Suggestion

#[suggestion{,_short,_hidden,_verbose}]

Fields

suggestion_kind: SuggestionKind

applicability: Option<(Applicability, Span)>

code_field: Ident

Identifier for variable used for formatted code, e.g. ___code_0. Enables separation of formatting and diagnostic emission so that arg calls can happen in-between..

code_init: TokenStream

Initialization logic for code_field’s variable, e.g. let __formatted_code = /* whatever */;

MultipartSuggestion

#[multipart_suggestion{,_short,_hidden,_verbose}]

Fields

suggestion_kind: SuggestionKind

applicability: Option<(Applicability, Span)>

Trait Implementations

impl Clone for SubdiagnosticKind

fn clone(&self) -> SubdiagnosticKind

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> FromIterator<&'a SubdiagnosticKind> for KindsStatistics

fn from_iter<T: IntoIterator<Item = &'a SubdiagnosticKind>>(kinds: T) -> Self

Creates a value from an iterator.

impl IdentFragment for SubdiagnosticKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Format this value as an identifier fragment.

fn span(&self) -> Option<Span>

Span associated with this IdentFragment.