Struct syn::PredicateType[][src]

pub struct PredicateType {
    pub lifetimes: Option<BoundLifetimes>,
    pub bounded_ty: Type,
    pub colon_token: Colon,
    pub bounds: Punctuated<TypeParamBound, Add>,
}
This is supported on crate features full or derive only.
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: Colonbounds: Punctuated<TypeParamBound, Add>

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

Trait Implementations

This is supported on crate feature clone-impls only.

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

This is supported on crate feature extra-traits only.

Formats the value using the given formatter. Read more

Performs the conversion.

This is supported on crate feature extra-traits only.

Feeds this value into the given Hasher. Read more

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

This is supported on crate feature extra-traits only.

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

This method tests for !=.

This is supported on crate feature printing only.

Write self to the given TokenStream. Read more

Convert self directly into a TokenStream object. Read more

Convert self directly into a TokenStream object. Read more

This is supported on crate feature extra-traits only.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

This is supported 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. Read more

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.