Enum rustc_ast::ast::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).

Tuple Fields of BoundPredicate

0: WhereBoundPredicate

RegionPredicate(WhereRegionPredicate)

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

Tuple Fields of RegionPredicate

0: WhereRegionPredicate

EqPredicate(WhereEqPredicate)

An equality predicate (unsupported).

Tuple Fields of EqPredicate

0: WhereEqPredicate

Implementations

impl WherePredicate

pub fn span(&self) -> Span

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 Debug for WherePredicate

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

Formats the value using the given formatter.

impl<__D: Decoder> Decodable<__D> for WherePredicate

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

impl<__E: Encoder> Encodable<__E> for WherePredicate

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 72 bytes

Size for each variant:

• BoundPredicate: 64 bytes
• RegionPredicate: 48 bytes
• EqPredicate: 32 bytes