Type Alias CanonicalInput

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 defining_opaque_types: <I as Interner>::DefiningOpaqueTypes,
}

Fields

canonical: Canonical<I, QueryInput<I, T>>

defining_opaque_types: <I as Interner>::DefiningOpaqueTypes

Layout

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