Enum rustc_hir::hir::BindingAnnotation

pub enum BindingAnnotation {
    Unannotated,
    Mutable,
    Ref,
    RefMut,
}

Explicit binding annotations given in the HIR for a binding. Note that this is not the final binding mode that we infer after type inference.

Variants

Unannotated

No binding annotation given: this means that the final binding mode will depend on whether we have skipped through a & reference when matching. For example, the x in Some(x) will have binding mode None; if you do let Some(x) = &Some(22), it will ultimately be inferred to be by-reference.

Note that implicit reference skipping is not implemented yet (#42640).

Mutable

Annotated with mut x – could be either ref or not, similar to None.

Ref

Annotated as ref, like ref x

RefMut

Annotated as ref mut x.

Trait Implementations

impl Clone for BindingAnnotation

fn clone(&self) -> BindingAnnotation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BindingAnnotation

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

Formats the value using the given formatter.

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

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

impl<__CTX> HashStable<__CTX> for BindingAnnotation where
    __CTX: HashStableContext, 

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

impl PartialEq<BindingAnnotation> for BindingAnnotation

fn eq(&self, other: &BindingAnnotation) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Copy for BindingAnnotation

impl StructuralPartialEq for BindingAnnotation

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: 1 byte

Size for each variant:

• Unannotated: 0 bytes
• Mutable: 0 bytes
• Ref: 0 bytes
• RefMut: 0 bytes