Enum UnifyError 

pub enum UnifyError {
    Mismatch {
        a: Ty,
        b: Ty,
    },
    Infinite {
        var: TyVarId,
        ty: Ty,
    },
    EffectMismatch {
        a: EffectSet,
        b: EffectSet,
    },
}

Variants

Mismatch

Fields

a: Ty

b: Ty

Infinite

Fields

var: TyVarId

ty: Ty

EffectMismatch

Fields

a: EffectSet

b: EffectSet

Trait Implementations

impl Clone for UnifyError

fn clone(&self) -> UnifyError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnifyError

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

Formats the value using the given formatter.