Enum rustc_hir::hir::BindingAnnotation

source · [−]

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

Expand description

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.

Enum rustc_hir::hir::BindingAnnotation

Variants

Unannotated

Mutable

Ref

RefMut

Trait Implementations

impl Clone for BindingAnnotation

fn clone(&self) -> BindingAnnotation

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

impl Debug for BindingAnnotation

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

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

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

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

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

impl Copy for BindingAnnotation

impl StructuralPartialEq for BindingAnnotation

Auto Trait Implementations

impl RefUnwindSafe for BindingAnnotation

impl Send for BindingAnnotation

impl Sync for BindingAnnotation

impl Unpin for BindingAnnotation

impl UnwindSafe for BindingAnnotation

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T where T: Copy,

fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Layout

`Unannotated`

`Mutable`

`Ref`

`RefMut`

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

fn encode(&self, encoder: &mut E)

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

fn hash_stable(&self, hcx: &mut CTX, __hasher: &mut StableHasher)

impl<T> Any for T where
T: 'static + ?Sized,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T where
T: Copy,

fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]`impl Read for &[u8]impl Write for &mut [u8]`

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,