Struct rustc_middle::mir::VarBindingForm
source · [−]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: BindingModeIs variable bound via x, mut x, ref x, or 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: SpanThe span of the pattern in which this variable was bound.
Trait Implementations
sourceimpl<'tcx> Clone for VarBindingForm<'tcx>
impl<'tcx> Clone for VarBindingForm<'tcx>
sourcefn clone(&self) -> VarBindingForm<'tcx>
fn clone(&self) -> VarBindingForm<'tcx>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
sourceimpl<'tcx> Debug for VarBindingForm<'tcx>
impl<'tcx> Debug for VarBindingForm<'tcx>
sourceimpl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for VarBindingForm<'tcx>
impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for VarBindingForm<'tcx>
sourceimpl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for VarBindingForm<'tcx>
impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for VarBindingForm<'tcx>
sourceimpl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for VarBindingForm<'tcx>
impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for VarBindingForm<'tcx>
fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for VarBindingForm<'tcx>
impl<'tcx> !Send for VarBindingForm<'tcx>
impl<'tcx> !Sync for VarBindingForm<'tcx>
impl<'tcx> Unpin for VarBindingForm<'tcx>
impl<'tcx> !UnwindSafe for VarBindingForm<'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
impl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
pub default fn fingerprint_style() -> FingerprintStyle
sourcepub default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
pub default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous). Read more
pub default fn to_debug_str(&self, Ctxt) -> String
sourcepub default fn recover(
Ctxt,
&DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<T>
pub default fn recover(
Ctxt,
&DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<T>
This method tries to recover the query key from the given DepNode,
something which is needed when forcing DepNodes during red-green
evaluation. The query system will only call this method if
fingerprint_style() is not FingerprintStyle::Opaque.
It is always valid to return None here, in which case incremental
compilation will treat the query as having changed instead of forcing it. Read more
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
toowned_clone_into)Uses borrowed data to replace owned data, usually by cloning. Read more
impl<'a, T> Captures<'a> for T where
T: ?Sized,
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