CanonicalState

rustc_middle::ty::solve::inspect

Type Alias CanonicalState 

Source 
pub type CanonicalState<I, T> = Canonical<I, State<I, T>>;

Aliased Type§

pub struct CanonicalState<I, T> {
    pub value: State<I, T>,
    pub max_universe: UniverseIndex,
    pub variables: <I as Interner>::CanonicalVarKinds,
}

Fields§

§value: State<I, T>§max_universe: UniverseIndex§variables: <I as Interner>::CanonicalVarKinds

Layout§

Note: Encountered an error during type layout; the type failed to be normalized.