Enum InferenceError 

pub enum InferenceError {
    Conflict(TypeId, TypeId),
    Unresolved(InferenceVar),
    OccursCheck {
        var: InferenceVar,
        ty: TypeId,
    },
    BoundsViolation {
        var: InferenceVar,
        lower: TypeId,
        upper: TypeId,
    },
    VarianceViolation {
        var: InferenceVar,
        expected_variance: &'static str,
        position: TypeId,
    },
}

Inference error

Variants

Conflict(TypeId, TypeId)

Two incompatible types were unified

Unresolved(InferenceVar)

Inference variable was not resolved

OccursCheck

Circular unification detected (occurs-check)

Fields

var: InferenceVar

ty: TypeId

BoundsViolation

Lower bound is not subtype of upper bound

Fields

var: InferenceVar

lower: TypeId

upper: TypeId

VarianceViolation

Variance violation detected

Fields

var: InferenceVar

expected_variance: &'static str

position: TypeId

Trait Implementations

impl Clone for InferenceError

fn clone(&self) -> InferenceError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceError

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

Formats the value using the given formatter.