Type Definition chalk_solve::rust_ir::QuantifiedInlineBound

pub type QuantifiedInlineBound<I: Interner> = Binders<InlineBound<I>>;

Trait Implementations

impl<I: Interner> IntoWhereClauses<I> for QuantifiedInlineBound<I>

type Output = QuantifiedWhereClause<I>

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