Struct syn::PredicateType[][src]

pub struct PredicateType {
    pub lifetimes: Option<BoundLifetimes>,
    pub bounded_ty: Type,
    pub colon_token: Colon,
    pub bounds: Punctuated<TypeParamBound, Add>,

A type predicate in a where clause: for<'c> Foo<'c>: Trait<'c>.

This type is available if Syn is built with the "derive" or "full" feature.


Any lifetimes from a for binding

The type being bounded

Trait and lifetime bounds (Clone+Send+'static)

Trait Implementations

impl ToTokens for PredicateType

Write self to the given TokenStream. Read more

Convert self directly into a TokenStream object. Read more

impl Debug for PredicateType

Formats the value using the given formatter. Read more

impl Eq for PredicateType

impl PartialEq for PredicateType

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

impl Hash for PredicateType

Feeds this value into the given [Hasher]. Read more

Feeds a slice of this type into the given [Hasher]. Read more

impl Clone for PredicateType

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl From<PredicateType> for WherePredicate

Performs the conversion.

Auto Trait Implementations

impl !Send for PredicateType

impl !Sync for PredicateType