Trait chalk_solve::rust_ir::IntoWhereClauses

source · 
pub trait IntoWhereClauses<I: Interner> {
    type Output;

    // Required method
    fn into_where_clauses(
        &self,
        interner: I,
        self_ty: Ty<I>,
    ) -> Vec<Self::Output>;
}

Required Associated Types§

source

type Output

Required Methods§

source

fn into_where_clauses(&self, interner: I, self_ty: Ty<I>) -> Vec<Self::Output>

Implementors§