Enum Error 

pub enum Error<'r> {
    MissingValue(Value<'r>),
    MissingRecordField(Name<'r>),
    MissingVariantCase(Name<'r>),
    MismatchedValue(Value<'r>, Value<'r>),
    MismatchedDefined(Box<Defined<'r>>, Box<Defined<'r>>),
    MismatchedResources(ResourceId, ResourceId),
    MismatchedVars(Tyvar, Tyvar),
    MismatchedResourceVar(Tyvar, ResourceId),
    NotResource(Handleable),
}

The various ways in which a value can fail to be a subtype of another

Variants

MissingValue(Value<'r>)

An unnamed value that was expected was missing (e.g. in a tuple or variant case)

MissingRecordField(Name<'r>)

A record field that was expected was missing

MissingVariantCase(Name<'r>)

A variant case that was expected was missing

MismatchedValue(Value<'r>, Value<'r>)

A value type was present, but incompatible with its expected type

MismatchedDefined(Box<Defined<'r>>, Box<Defined<'r>>)

A defined type was present, but incompatible with its expected type

MismatchedResources(ResourceId, ResourceId)

A resource was present, but was not the same resource as was expected

MismatchedVars(Tyvar, Tyvar)

A type variable could not be resolved to be the same as the expected one

MismatchedResourceVar(Tyvar, ResourceId)

A resource was expected but a non-resource tyvar was found, or vice versa

NotResource(Handleable)

A handle was taken to something that wasn’t a resource. Strictly speaking, this might be a well-formedness error on one side or the other rather than a subtyping error

Trait Implementations

impl<'r> Debug for Error<'r>

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

Formats the value using the given formatter.