Type Alias rustc_next_trait_solver::solve::CanonicalInput
source · pub type CanonicalInput<I, T = <I as Interner>::Predicate> = Canonical<I, QueryInput<I, T>>;
Aliased Type§
struct CanonicalInput<I, T = <I as Interner>::Predicate> {
pub value: QueryInput<I, T>,
pub max_universe: UniverseIndex,
pub defining_opaque_types: <I as Interner>::DefiningOpaqueTypes,
pub variables: <I as Interner>::CanonicalVars,
}
Fields§
§value: QueryInput<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.