Trait chalk_solve::rust_ir::IntoWhereClauses[][src]

pub trait IntoWhereClauses<I: Interner> {
    type Output;
    fn into_where_clauses(
        &self,
        interner: &I,
        self_ty: Ty<I>
    ) -> Vec<Self::Output>; }

Associated Types

Required methods

Implementors