rustc_next_trait_solver::solve

Type Alias 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.