Type Alias rustc_middle::traits::solve::inspect::CanonicalState
source · pub type CanonicalState<'tcx, T> = Canonical<'tcx, State<'tcx, T>>;
Aliased Type§
struct CanonicalState<'tcx, T> {
pub value: State<'tcx, T>,
pub max_universe: UniverseIndex,
pub variables: &'tcx List<CanonicalVarInfo<'tcx>>,
}
Fields§
§value: State<'tcx, T>
§max_universe: UniverseIndex
§variables: &'tcx List<CanonicalVarInfo<'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.