[−][src]Trait chalk_solve::rust_ir::IntoWhereClauses
Associated Types
type Output
Required methods
fn into_where_clauses(&self, interner: &I, self_ty: Ty<I>) -> Vec<Self::Output>
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]
&self,
interner: &I,
self_ty: Ty<I>
) -> Vec<WhereClause<I>>
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>
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>>