pub enum WherePredicate {
BoundPredicate {
type_: Type,
bounds: Vec<GenericBound>,
generic_params: Vec<GenericParamDef>,
},
LifetimePredicate {
lifetime: String,
outlives: Vec<String>,
},
EqPredicate {
lhs: Type,
rhs: Term,
},
}
Expand description
One where
clause.
fn default<T>() -> T where T: Default { T::default() }
// ^^^^^^^^^^
Variants§
BoundPredicate
A type is expected to comply with a set of bounds
Fields
§
bounds: Vec<GenericBound>
The set of bounds that constrain the type.
fn f<T>(x: T) where for<'a> &'a T: Iterator {}
// ^^^^^^^^
§
generic_params: Vec<GenericParamDef>
Used for Higher-Rank Trait Bounds (HRTBs)
fn f<T>(x: T) where for<'a> &'a T: Iterator {}
// ^^^^^^^
LifetimePredicate
A lifetime is expected to outlive other lifetimes.
Fields
EqPredicate
A type must exactly equal another type.
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 for WherePredicate
impl PartialEq for WherePredicate
source§impl Serialize for WherePredicate
impl Serialize for WherePredicate
impl Eq for WherePredicate
impl StructuralPartialEq for WherePredicate
Auto Trait Implementations§
impl Freeze for WherePredicate
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
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)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: 160 bytes
Size for each variant:
BoundPredicate
: 136 bytesLifetimePredicate
: 56 bytesEqPredicate
: 160 bytes