[−][src]Trait chalk_rust_ir::IntoWhereClauses

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

Associated Types

type Output

Loading content...

Required methods

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

Loading content...

Implementors

impl<I: Interner> IntoWhereClauses<I> for InlineBound<I>[src]

type Output = WhereClause<I>

fn into_where_clauses(
    &self,
    interner: &I,
    self_ty: Ty<I>
) -> Vec<WhereClause<I>>[src]

Applies the InlineBound to self_ty and lowers to a chalk_ir::DomainGoal.

Because an InlineBound does not know anything about what it's binding, you must provide that type as self_ty.

impl<I: Interner> IntoWhereClauses<I> for QuantifiedInlineBound<I>[src]

type Output = QuantifiedWhereClause<I>

Loading content...