pub struct PredicateType {
pub lifetimes: Option<BoundLifetimes>,
pub bounded_ty: Type,
pub colon_token: Colon,
pub bounds: Punctuated<TypeParamBound, Plus>,
}
Available on crate features
full
or derive
only.Expand description
A type predicate in a where
clause: for<'c> Foo<'c>: Trait<'c>
.
Fields§
§lifetimes: Option<BoundLifetimes>
Any lifetimes from a for
binding
bounded_ty: Type
The type being bounded
colon_token: Colon
§bounds: Punctuated<TypeParamBound, Plus>
Trait and lifetime bounds (Clone+Send+'static
)
Trait Implementations§
Source§impl Clone for PredicateType
Available on crate feature clone-impls
only.
impl Clone for PredicateType
Available on crate feature
clone-impls
only.Source§impl Debug for PredicateType
Available on crate feature extra-traits
only.
impl Debug for PredicateType
Available on crate feature
extra-traits
only.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 Hash for PredicateType
Available on crate feature extra-traits
only.
impl Hash for PredicateType
Available on crate feature
extra-traits
only.Source§impl PartialEq for PredicateType
Available on crate feature extra-traits
only.
impl PartialEq for PredicateType
Available on crate feature
extra-traits
only.Source§impl ToTokens for PredicateType
Available on crate feature printing
only.
impl ToTokens for PredicateType
Available on crate feature
printing
only.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,
impl Eq for PredicateType
Available on crate feature
extra-traits
only.Auto Trait Implementations§
impl Freeze for PredicateType
impl RefUnwindSafe for PredicateType
impl !Send for PredicateType
impl !Sync for PredicateType
impl Unpin for PredicateType
impl UnwindSafe for PredicateType
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
)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
Available on crate features
parsing
and printing
only.Returns a
Span
covering the complete contents of this syntax tree
node, or Span::call_site()
if this node is empty.