Type Alias gluon_check::kindcheck::Error

pub type Error<I, T = RcType<I>> = Error<KindError<I, T>, ArcKind>;

Aliased Type

enum Error<I, T = RcType<I>> {
    TypeMismatch(ArcKind, ArcKind),
    Substitution(Error<ArcKind>),
    Other(KindError<I, T>),
}

Variants

TypeMismatch(ArcKind, ArcKind)

Substitution(Error<ArcKind>)

Other(KindError<I, T>)