Struct DiagnosticNote 

pub struct DiagnosticNote {
    pub span: FileSpan,
    pub message: String,
}

A secondary span attached to a diagnostic, with its own message.

Used for the “related spans when inference connects distant expressions” case in §8.2: a type error’s primary span is the failing expression, and a note can point at where the conflicting type was first inferred.

Fields

span: FileSpan

message: String

Trait Implementations

impl Clone for DiagnosticNote

fn clone(&self) -> DiagnosticNote

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiagnosticNote

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

Formats the value using the given formatter.