[−][src]Type Definition chalk_solve::rust_ir::QuantifiedInlineBound
type QuantifiedInlineBound<I: Interner> = Binders<InlineBound<I>>;
Trait Implementations
impl<I: Interner> IntoWhereClauses<I> for QuantifiedInlineBound<I>
[src]
type Output = QuantifiedWhereClause<I>
fn into_where_clauses(
&self,
interner: &I,
self_ty: Ty<I>
) -> Vec<QuantifiedWhereClause<I>>
[src]
&self,
interner: &I,
self_ty: Ty<I>
) -> Vec<QuantifiedWhereClause<I>>