# Type Alias rustc_trait_selection::solve::inspect::CanonicalState

source ·

    pub type CanonicalState<'tcx, T> = Canonical<TyCtxt<'tcx>, State<'tcx, T>>;

## Aliased Type§

    struct CanonicalState<'tcx, T> {
        pub value: State<'tcx, T>,
        pub max_universe: UniverseIndex,
        pub variables: &'tcx List<CanonicalVarInfo<TyCtxt<'tcx>>>,
    }

## Fields§

§`value: State<'tcx, T>`§`max_universe: UniverseIndex`§`variables: &'tcx List<CanonicalVarInfo<TyCtxt<'tcx>>>`

## Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.