hir_ty::next_solver

Type Alias CanonicalQueryInput

Source 
pub type CanonicalQueryInput<'db, V> = CanonicalQueryInput<DbInterner<'db>, V>;

Aliased Type§

pub struct CanonicalQueryInput<'db, V> {
    pub canonical: Canonical<DbInterner<'db>, V>,
    pub typing_mode: TypingMode<DbInterner<'db>>,
}

Fields§

§canonical: Canonical<DbInterner<'db>, V>§typing_mode: TypingMode<DbInterner<'db>>