[−][src]Type Definition chalk_ir::QuantifiedWhereClause
type QuantifiedWhereClause<I> = Binders<WhereClause<I>>;
A where clause that can contain forall<> or exists<> quantifiers.
Implementations
impl<I: Interner> QuantifiedWhereClause<I>[src]
pub fn into_well_formed_goal(self, interner: &I) -> Binders<DomainGoal<I>>[src]
As with WhereClause::into_well_formed_goal, but for a
quantified where clause. For example, forall<T> { Implemented(T: Trait)} would map to forall<T> { WellFormed(T: Trait) }.
pub fn into_from_env_goal(self, interner: &I) -> Binders<DomainGoal<I>>[src]
As with WhereClause::into_from_env_goal, but mapped over any
binders. For example, forall<T> { Implemented(T: Trait)} would map to forall<T> { FromEnv(T: Trait) }.
pub fn trait_id(&self) -> Option<TraitId<I>>[src]
If the underlying where clause is a TraitRef, returns its trait id.
Trait Implementations
impl<I: Interner> CastTo<Binders<WhereClause<I>>> for QuantifiedWhereClause<I>[src]
pub fn cast_to(
self,
_interner: &<QuantifiedWhereClause<I> as HasInterner>::Interner
) -> QuantifiedWhereClause<I>[src]
self,
_interner: &<QuantifiedWhereClause<I> as HasInterner>::Interner
) -> QuantifiedWhereClause<I>