Enum Subdiagnostic

pub enum Subdiagnostic {
    Note {
        level: SubdiagnosticLevel,
        message: Message,
    },
    TypeMismatch {
        got: String,
        got_outer: Option<String>,
        expected: String,
        expected_outer: Option<String>,
    },
    SpannedNote {
        level: SubdiagnosticLevel,
        labels: Labels,
    },
    TemplateTraceback {
        span: FullSpan,
        message: Message,
    },
    Suggestion {
        parts: Vec<(FullSpan, String)>,
        message: Message,
    },
}

An extra diagnostic that can further the main diagnostic in some way.

Variants

Note

A simple note without a span.

Fields

level: SubdiagnosticLevel

message: Message

TypeMismatch

Fields

got: String

got_outer: Option<String>

expected: String

expected_outer: Option<String>

SpannedNote

A longer note with additional spans and labels.

Fields

level: SubdiagnosticLevel

labels: Labels

TemplateTraceback

Fields

span: FullSpan

message: Message

Suggestion

A change suggestion, made up of one or more suggestion parts.

Fields

parts: Vec<(FullSpan, String)>

The individual replacements that make up this suggestion.

Additions, removals and replacements are encoded using the span and the suggested replacement according to the following table:

 +-----------+-------------+----------------+
 | Span      | Replacement | Interpretation |
 +-----------+-------------+----------------+
 | Non-empty | Non-empty   | Replacement    |
 | Non-empty | Empty       | Removal        |
 | Empty     | Non-empty   | Addition       |
 | Empty     | Empty       | Invalid        |
 +-----------+-------------+----------------+

message: Message

Implementations

impl Subdiagnostic

pub fn span_note(span: impl Into<FullSpan>, message: impl Into<Message>) -> Self

Trait Implementations

impl Clone for Subdiagnostic

fn clone(&self) -> Subdiagnostic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Subdiagnostic

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

Formats the value using the given formatter.

impl PartialEq for Subdiagnostic

fn eq(&self, other: &Subdiagnostic) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Subdiagnostic