Enum WherePredicate

pub enum WherePredicate {
    BoundPredicate(WhereBoundPredicate),
    RegionPredicate(WhereRegionPredicate),
    EqPredicate(WhereEqPredicate),
}

A single predicate in a where clause

Variants

BoundPredicate(WhereBoundPredicate)

A type binding, e.g. for<'c> Foo: Send+Clone+'c

RegionPredicate(WhereRegionPredicate)

A lifetime predicate, e.g. 'a: 'b+'c

EqPredicate(WhereEqPredicate)

An equality predicate (unsupported)

Trait Implementations

impl Clone for WherePredicate

fn clone(&self) -> WherePredicate

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl From<WhereBoundPredicate> for WherePredicate

fn from(e: WhereBoundPredicate) -> WherePredicate

Converts to this type from the input type.

impl From<WhereEqPredicate> for WherePredicate

fn from(e: WhereEqPredicate) -> WherePredicate

Converts to this type from the input type.

impl From<WhereRegionPredicate> for WherePredicate

fn from(e: WhereRegionPredicate) -> WherePredicate

Converts to this type from the input type.

impl Synom for WherePredicate

fn parse(i: Cursor<'_>) -> PResult<'_, Self>

fn description() -> Option<&'static str>

impl ToTokens for WherePredicate

fn to_tokens(&self, tokens: &mut Tokens)

Write self to the given Tokens.

fn into_tokens(self) -> Tokens

where Self: Sized,

Convert self directly into a Tokens object.