rustc_infer::traits::solve::inspect

Type Alias CanonicalState

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

Aliased Type§

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

Fields§

§value: State<I, T>§max_universe: UniverseIndex§defining_opaque_types: <I as Interner>::DefiningOpaqueTypes§variables: <I as Interner>::CanonicalVars

Layout§

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