Enum AssocItemConstraintKind

pub enum AssocItemConstraintKind<'hir> {
    Equality {
        term: Term<'hir>,
    },
    Bound {
        bounds: &'hir [GenericBound<'hir>],
    },
}

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<'hir>

Bound

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

Fields

bounds: &'hir [GenericBound<'hir>]

Implementations

impl<'hir> AssocItemConstraintKind<'hir>

pub fn descr(&self) -> &'static str

Trait Implementations

impl<'hir> Clone for AssocItemConstraintKind<'hir>

fn clone(&self) -> AssocItemConstraintKind<'hir>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'hir> Debug for AssocItemConstraintKind<'hir>

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

Formats the value using the given formatter.

impl<'hir, __CTX> HashStable<__CTX> for AssocItemConstraintKind<'hir>

where __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl<'hir> Copy for AssocItemConstraintKind<'hir>

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: 16 bytes
• Bound: 16 bytes