Struct rustc_middle::mir::VarBindingForm

pub struct VarBindingForm<'tcx> {
    pub binding_mode: BindingMode,
    pub opt_ty_info: Option<Span>,
    pub opt_match_place: Option<(Option<Place<'tcx>>, Span)>,
    pub pat_span: Span,
}

Fields

binding_mode: BindingMode

Is variable bound via x, mut x, ref x, ref mut x, mut ref x, or mut ref mut x?

opt_ty_info: Option<Span>

If an explicit type was provided for this variable binding, this holds the source Span of that type.

NOTE: if you want to change this to a HirId, be wary that doing so breaks incremental compilation (as of this writing), while a Span does not cause our tests to fail.

opt_match_place: Option<(Option<Place<'tcx>>, Span)>

Place of the RHS of the =, or the subject of the match where this variable is initialized. None in the case of let PATTERN;. Some((None, ..)) in the case of and let [mut] x = ... because (a) the right-hand side isn’t evaluated as a place expression. (b) it gives a way to separate this case from the remaining cases for diagnostics.

pat_span: Span

The span of the pattern in which this variable was bound.

Trait Implementations

impl<'tcx> Clone for VarBindingForm<'tcx>

fn clone(&self) -> VarBindingForm<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for VarBindingForm<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for VarBindingForm<'tcx>

fn decode(__decoder: &mut __D) -> Self

impl<'tcx, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for VarBindingForm<'tcx>

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

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for VarBindingForm<'tcx>

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher, )

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: 48 bytes