[−][src]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[src]

impl Copy for BindingAnnotation[src]

impl Debug for BindingAnnotation[src]

impl<__E: Encoder> Encodable<__E> for BindingAnnotation[src]

impl<__CTX> HashStable<__CTX> for BindingAnnotation where
    __CTX: HashStableContext, 
[src]

impl PartialEq<BindingAnnotation> for BindingAnnotation[src]

impl StructuralPartialEq for BindingAnnotation[src]

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, 
[src]

impl<T> Borrow<T> for T where
    T: ?Sized, 
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone, 
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.