#[non_exhaustive]pub enum WherePredicate {
Lifetime(PredicateLifetime),
Type(PredicateType),
}
Expand description
A single predicate in a where
clause: T: Deserialize<'de>
.
§Syntax tree enum
This type is a syntax tree enum.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
Lifetime(PredicateLifetime)
A lifetime predicate in a where
clause: 'a: 'b + 'c
.
Type(PredicateType)
A type predicate in a where
clause: for<'c> Foo<'c>: Trait<'c>
.
Trait Implementations§
Source§impl Clone for WherePredicate
impl Clone for WherePredicate
Source§impl From<PredicateLifetime> for WherePredicate
impl From<PredicateLifetime> for WherePredicate
Source§fn from(e: PredicateLifetime) -> WherePredicate
fn from(e: PredicateLifetime) -> WherePredicate
Converts to this type from the input type.
Source§impl From<PredicateType> for WherePredicate
impl From<PredicateType> for WherePredicate
Source§fn from(e: PredicateType) -> WherePredicate
fn from(e: PredicateType) -> WherePredicate
Converts to this type from the input type.
Source§impl Parse for WherePredicate
impl Parse for WherePredicate
fn parse(input: ParseStream<'_>) -> Result<Self>
Source§impl ToTokens for WherePredicate
impl ToTokens for WherePredicate
Source§fn to_tokens(&self, tokens: &mut TokenStream)
fn to_tokens(&self, tokens: &mut TokenStream)
Source§fn to_token_stream(&self) -> TokenStream
fn to_token_stream(&self) -> TokenStream
Source§fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
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§impl<T> Spanned for Twhere
T: Spanned + ?Sized,
impl<T> Spanned for Twhere
T: Spanned + ?Sized,
Source§fn span(&self) -> Span
fn span(&self) -> Span
Returns a
Span
covering the complete contents of this syntax tree
node, or Span::call_site()
if this node is empty.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: 312 bytes
Size for each variant:
Lifetime
: 80 bytesType
: 312 bytes