Trait ErrorType 

pub trait ErrorType: Error {
    type Span: Span + Default;
    type Message: Display;

    // Required methods
    fn kind(&self) -> Kind;
    fn number(&self) -> &str;
    fn code(&self) -> &str;
    fn primary_span(&self) -> Option<Self::Span>;
    fn primary_message(&self) -> Self::Message;
    fn primary_label(&self) -> Self::Message;
    fn additional(
        &self,
    ) -> Box<dyn Iterator<Item = (Option<Self::Span>, Self::Message, Self::Message)>>;

    // Provided method
    fn primary(&self) -> (Option<Self::Span>, Self::Message, Self::Message) { ... }
}

Trait for error types generated by error_type! macro and ErrorType derive macro.

For conversion to other diagnostic types, see ErrorTypeExt.

Required Associated Types

type Span: Span + Default

The span type associated with the error type.

type Message: Display

The message type associated with the error type.

Required Methods

fn kind(&self) -> Kind

Get the kind of the error.

fn number(&self) -> &str

Get the number of the error.

fn code(&self) -> &str

Get the code of the error.

Normally the code is a combination of kind short string and number, like “E0”, “W1”, etc.

fn primary_span(&self) -> Option<Self::Span>

Get the primary span of the error.

fn primary_message(&self) -> Self::Message

Get the primary message of the error.

fn primary_label(&self) -> Self::Message

Get the primary label of the error.

fn additional( &self, ) -> Box<dyn Iterator<Item = (Option<Self::Span>, Self::Message, Self::Message)>>

Get additional spans, messages, and labels of the error.

Provided Methods

fn primary(&self) -> (Option<Self::Span>, Self::Message, Self::Message)

Get the primary diagnostic of the error.

Implementations on Foreign Types

impl<T> ErrorType for &T

where T: ErrorType + ?Sized,

type Span = <T as ErrorType>::Span

type Message = <T as ErrorType>::Message

fn kind(&self) -> Kind

fn number(&self) -> &str

fn code(&self) -> &str

fn primary_span(&self) -> Option<<&T as ErrorType>::Span>

fn primary_message(&self) -> <&T as ErrorType>::Message

fn primary_label(&self) -> <&T as ErrorType>::Message

fn primary( &self, ) -> (Option<<&T as ErrorType>::Span>, <&T as ErrorType>::Message, <&T as ErrorType>::Message)

fn additional( &self, ) -> Box<dyn Iterator<Item = (Option<<&T as ErrorType>::Span>, <&T as ErrorType>::Message, <&T as ErrorType>::Message)>>

Implementors