pub enum TypeUnificationError {
TypeMismatch(Type, Type),
ArityMismatch(String, usize, usize),
CyclicSubstitution(Type, Type),
}
Expand description
Represents an error resulting from type unification.
Immutably borrows from an owned value.
Read more
Mutably borrows from an owned value.
Read more
Returns the argument unchanged.
Calls U::from(self)
.
That is, this conversion is whatever the implementation of
From<T> for U
chooses to do.
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.