Enum ra_ap_hir_def::generics::WherePredicate [−][src]
pub enum WherePredicate { TypeBound { target: WherePredicateTypeTarget, bound: Interned<TypeBound>, }, Lifetime { target: LifetimeRef, bound: LifetimeRef, }, ForLifetime { lifetimes: Box<[Name]>, target: WherePredicateTypeTarget, bound: Interned<TypeBound>, }, }
Expand description
A single predicate from a where clause, i.e. where Type: Trait
. Combined
where clauses like where T: Foo + Bar
are turned into multiple of these.
It might still result in multiple actual predicates though, because of
associated type bindings like Iterator<Item = u32>
.
Variants
Show fields
Fields of TypeBound
target: WherePredicateTypeTarget
bound: Interned<TypeBound>
Show fields
Fields of Lifetime
target: LifetimeRef
bound: LifetimeRef
Show fields
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl RefUnwindSafe for WherePredicate
impl Send for WherePredicate
impl Sync for WherePredicate
impl Unpin for WherePredicate
impl UnwindSafe for WherePredicate
Blanket Implementations
Mutably borrows from an owned value. Read more
Compare self to key
and return true
if they are equal.