Type Alias gluon_check::unify_type::Error
source · pub type Error<I, T = RcType> = Error<TypeError<I, T>, T>;
Aliased Type§
enum Error<I, T = RcType> {
TypeMismatch(T, T),
Substitution(Error<T>),
Other(TypeError<I, T>),
}