rustc_next_trait_solver::solve

Type Alias CanonicalInput

Source 
pub type CanonicalInput<I, T = <I as Interner>::Predicate> = CanonicalQueryInput<I, QueryInput<I, T>>;

Aliased Type§

struct CanonicalInput<I, T = <I as Interner>::Predicate> {
    pub canonical: Canonical<I, QueryInput<I, T>>,
    pub typing_mode: TypingMode<I>,
}

Fields§

§canonical: Canonical<I, QueryInput<I, T>>§typing_mode: TypingMode<I>

Layout§

Note: Encountered an error during type layout; the type failed to be normalized.