Type Alias hir_ty::Canonical

source · 
pub type Canonical<T> = Canonical<T>;

Aliased Type§

struct Canonical<T> {
    pub value: T,
    pub binders: CanonicalVarKinds<<T as HasInterner>::Interner>,
}

Fields§

§value: T

The item that is canonicalized.

§binders: CanonicalVarKinds<<T as HasInterner>::Interner>

The kind/universe of the variable.