Enum polytype::UnificationError [−][src]
Expand description
Errors during unification.
Variants
Occurs(Variable)
Tuple Fields
0: Variable
Occurs
happens when occurs checks fail (i.e. a type variable is
unified recursively). The id of the bad type variable is supplied.
Failure(Type<N>, Type<N>)
Failure
happens when symbols or type variants don’t unify because of
structural differences.
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl<N> RefUnwindSafe for UnificationError<N> where
N: RefUnwindSafe,
impl<N> Send for UnificationError<N> where
N: Send,
impl<N> Sync for UnificationError<N> where
N: Sync,
impl<N> Unpin for UnificationError<N> where
N: Unpin,
impl<N> UnwindSafe for UnificationError<N> where
N: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more