# Type Alias rustc_infer::infer::canonical::ir::solve::inspect::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.