Enum Error 

pub enum Error {
    NonExhaustiveMatch {
        value: Name,
        tpe: Name,
        missing: Vec<Name>,
    },
}

A case expression whose branches do not cover every variant of the type it scrutinises.

Nothing constructs this yet — check is a stub. It is defined now so that the phase has a renderable error before it has a checker, the same way canonical::Error::InvalidTupleSize is kept for a rejection path that does not exist yet. Writing the checker means constructing this, not inventing an error type and a diagnostic at the same time.

Variants

NonExhaustiveMatch

Fields

value: Name

The value whose body holds the case expression.

tpe: Name

The union type being matched on.

missing: Vec<Name>

The variants of tpe that no branch matches.

Trait Implementations

impl Debug for Error

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

Formats the value using the given formatter.

impl PartialEq for Error

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

Equality operator ==.

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

Inequality operator !=.

impl PhaseError for Error

fn message(&self) -> String

One line naming what went wrong, in the vocabulary of the user’s source.

fn notes(&self) -> Vec<String>

Supporting detail, one string per rendered note. Empty by default.

fn labels(&self) -> Vec<SpanLabel>

The regions of the user’s source this error is about, if it knows any.

fn message_and_notes(&self) -> Vec<String>

This error’s message followed by its notes.

impl StructuralPartialEq for Error