Skip to main content

CanonicalInputData

rustc_middle::traits::solve

Type Alias CanonicalInputData 

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

Aliased Type§

pub struct CanonicalInputData<I> {
    pub canonical: Canonical<I, QueryInput<I, <I as Interner>::Predicate>>,
    pub typing_mode: TypingModeEqWrapper<I>,
}

Fields§

§canonical: Canonical<I, QueryInput<I, <I as Interner>::Predicate>>§typing_mode: TypingModeEqWrapper<I>

Layout§

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