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
§
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§
source§impl Clone for WherePredicate
impl Clone for WherePredicate
source§fn clone(&self) -> WherePredicate
fn clone(&self) -> WherePredicate
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for WherePredicate
impl Debug for WherePredicate
source§impl<'de> Deserialize<'de> for WherePredicate
impl<'de> Deserialize<'de> for WherePredicate
source§fn 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
source§impl Hash for WherePredicate
impl Hash for WherePredicate
source§impl PartialEq<WherePredicate> for WherePredicate
impl PartialEq<WherePredicate> for WherePredicate
source§fn eq(&self, other: &WherePredicate) -> bool
fn eq(&self, other: &WherePredicate) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl 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§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn 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