Enum impl_tools_lib::generics::WherePredicate

pub enum WherePredicate {
    Type(PredicateType),
    Lifetime(PredicateLifetime),
}

A single predicate in a where clause: T: Deserialize<'de>.

This is a custom variant of syn::WherePredicate which supports trait as a parameter bound.

Variants

Type(PredicateType)

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

Lifetime(PredicateLifetime)

A lifetime predicate in a where clause: 'a: 'b + 'c.

Trait Implementations

impl Debug for WherePredicate

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Parse for WherePredicate

fn parse(input: ParseStream<'_>) -> Result<Self>

impl ToTokensSubst for WherePredicate

fn to_tokens_subst(&self, tokens: &mut TokenStream, subst: &TokenStream)

Write self to the given TokenStream