Enum AssocItemConstraintKind

pub enum AssocItemConstraintKind {
    Equality {
        term: Term,
    },
    Bound {
        bounds: GenericBounds,
    },
}

The kind of associated item constraint.

Variants

Equality

An equality constraint for an associated item (e.g., AssocTy = Ty in Trait<AssocTy = Ty>).

Also known as an associated item binding (we bind an associated item to a term).

Furthermore, associated type equality constraints can also be referred to as associated type bindings. Similarly with associated const equality constraints and associated const bindings.

Fields

term: Term

Bound

A bound on an associated type (e.g., AssocTy: Bound in Trait<AssocTy: Bound>).

Fields

bounds: GenericBounds

Trait Implementations

impl Clone for AssocItemConstraintKind

fn clone(&self) -> AssocItemConstraintKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AssocItemConstraintKind

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

Formats the value using the given formatter.

impl<__D: SpanDecoder> Decodable<__D> for AssocItemConstraintKind

fn decode(__decoder: &mut __D) -> Self

impl<__E: SpanEncoder> Encodable<__E> for AssocItemConstraintKind

fn encode(&self, __encoder: &mut __E)

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: 24 bytes

Size for each variant:

• Equality: 24 bytes
• Bound: 24 bytes