Enum ra_ap_hir_def::expr::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.

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.

Implementations

impl BindingAnnotation

pub fn new(is_mutable: bool, is_ref: bool) -> Self

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 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 Eq for BindingAnnotation

impl StructuralEq for BindingAnnotation

impl StructuralPartialEq for BindingAnnotation