[−][src]Trait chalk_solve::rust_ir::IntoWhereClauses
Associated Types
Loading content...Required methods
Loading content...Implementors
impl<I: Interner> IntoWhereClauses<I> for InlineBound<I>
[src]
type Output = WhereClause<I>
pub 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>
pub 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>>