pub enum WherePredicate {
BoundPredicate {
type_: Type,
bounds: Vec<GenericBound>,
generic_params: Vec<GenericParamDef>,
},
RegionPredicate {
lifetime: String,
bounds: Vec<GenericBound>,
},
EqPredicate {
lhs: Type,
rhs: Term,
},
}
Variants
BoundPredicate
Fields
type_: Type
bounds: Vec<GenericBound>
generic_params: Vec<GenericParamDef>
Used for Higher-Rank Trait Bounds (HRTBs)
where for<'a> &'a T: Iterator,"
^^^^^^^
|
this part
RegionPredicate
EqPredicate
Trait Implementations
sourceimpl Clone for WherePredicate
impl Clone for WherePredicate
sourcefn clone(&self) -> WherePredicate
fn clone(&self) -> WherePredicate
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for WherePredicate
impl Debug for WherePredicate
sourceimpl<'de> Deserialize<'de> for WherePredicate
impl<'de> Deserialize<'de> for WherePredicate
sourcefn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
sourceimpl Hash for WherePredicate
impl Hash for WherePredicate
sourceimpl PartialEq<WherePredicate> for WherePredicate
impl PartialEq<WherePredicate> for WherePredicate
sourcefn eq(&self, other: &WherePredicate) -> bool
fn eq(&self, other: &WherePredicate) -> bool
sourceimpl Serialize for WherePredicate
impl Serialize for WherePredicate
impl Eq for WherePredicate
impl StructuralEq for WherePredicate
impl StructuralPartialEq for WherePredicate
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
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 264 bytes
Size for each variant:
BoundPredicate
: 152 bytesRegionPredicate
: 48 bytesEqPredicate
: 264 bytes