Struct syn::PredicateType
source · [−]pub struct PredicateType {
pub lifetimes: Option<BoundLifetimes>,
pub bounded_ty: Type,
pub colon_token: Colon,
pub bounds: Punctuated<TypeParamBound, Add>,
}
Expand description
A type predicate in a where
clause: for<'c> Foo<'c>: Trait<'c>
.
This type is available only if Syn is built with the "derive"
or
"full"
feature.
Fields
lifetimes: Option<BoundLifetimes>
Any lifetimes from a for
binding
bounded_ty: Type
The type being bounded
colon_token: Colon
bounds: Punctuated<TypeParamBound, Add>
Trait and lifetime bounds (Clone+Send+'static
)
Trait Implementations
sourceimpl Clone for PredicateType
impl Clone for PredicateType
sourceimpl Debug for PredicateType
impl Debug for PredicateType
sourceimpl From<PredicateType> for WherePredicate
impl From<PredicateType> for WherePredicate
sourcefn from(e: PredicateType) -> WherePredicate
fn from(e: PredicateType) -> WherePredicate
Performs the conversion.
sourceimpl Hash for PredicateType
impl Hash for PredicateType
sourceimpl PartialEq<PredicateType> for PredicateType
impl PartialEq<PredicateType> for PredicateType
sourceimpl ToTokens for PredicateType
impl ToTokens for PredicateType
sourcefn to_tokens(&self, tokens: &mut TokenStream)
fn to_tokens(&self, tokens: &mut TokenStream)
Write self
to the given TokenStream
. Read more
sourcefn to_token_stream(&self) -> TokenStream
fn to_token_stream(&self) -> TokenStream
Convert self
directly into a TokenStream
object. Read more
sourcefn into_token_stream(self) -> TokenStream
fn into_token_stream(self) -> TokenStream
Convert self
directly into a TokenStream
object. Read more
impl Eq for PredicateType
Auto Trait Implementations
impl RefUnwindSafe for PredicateType
impl !Send for PredicateType
impl !Sync for PredicateType
impl Unpin for PredicateType
impl UnwindSafe for PredicateType
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
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
sourceimpl<T> Spanned for T where
T: Spanned + ?Sized,
impl<T> Spanned for T where
T: Spanned + ?Sized,
sourcefn 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. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more