Enum UnificationError 

pub enum UnificationError {
    Normal(TypeMismatch),
    MetaMismatch(TypeMismatch),
    RecursiveType(String),
    Specific(Diagnostic),
    UnsatisfiedTraits {
        var: TypeVarID,
        traits: Vec<Loc<TraitReq>>,
        target_loc: Loc<()>,
    },
    FromConstraints {
        expected: UnificationTrace,
        got: UnificationTrace,
        source: ConstraintSource,
        loc: Loc<()>,
        is_meta_error: bool,
    },
}

Variants

Normal(TypeMismatch)

MetaMismatch(TypeMismatch)

RecursiveType(String)

Specific(Diagnostic)

UnsatisfiedTraits

Fields

var: TypeVarID

traits: Vec<Loc<TraitReq>>

target_loc: Loc<()>

FromConstraints

Fields

expected: UnificationTrace

got: UnificationTrace

source: ConstraintSource

loc: Loc<()>

is_meta_error: bool

Trait Implementations

impl Clone for UnificationError

fn clone(&self) -> UnificationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnificationError

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

Formats the value using the given formatter.

impl PartialEq for UnificationError

fn eq(&self, other: &UnificationError) -> 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 UnificationError