pub struct Local<'hir> {
pub pat: &'hir Pat<'hir>,
pub ty: Option<&'hir Ty<'hir>>,
pub init: Option<&'hir Expr<'hir>>,
pub els: Option<&'hir Block<'hir>>,
pub hir_id: HirId,
pub span: Span,
pub source: LocalSource,
}
Expand description
Represents a let
statement (i.e., let <pat>:<ty> = <init>;
).
Fields§
§pat: &'hir Pat<'hir>
§ty: Option<&'hir Ty<'hir>>
Type annotation, if any (otherwise the type will be inferred).
init: Option<&'hir Expr<'hir>>
Initializer expression to set the value, if any.
els: Option<&'hir Block<'hir>>
Else block for a let...else
binding.
hir_id: HirId
§span: Span
§source: LocalSource
Can be ForLoopDesugar
if the let
statement is part of a for
loop
desugaring. Otherwise will be Normal
.
Trait Implementations§
source§impl<'hir, __CTX> HashStable<__CTX> for Local<'hir>where
__CTX: HashStableContext,
impl<'hir, __CTX> HashStable<__CTX> for Local<'hir>where __CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
impl<'hir> Copy for Local<'hir>
Auto Trait Implementations§
impl<'hir> RefUnwindSafe for Local<'hir>
impl<'hir> !Send for Local<'hir>
impl<'hir> !Sync for Local<'hir>
impl<'hir> Unpin for Local<'hir>
impl<'hir> UnwindSafe for Local<'hir>
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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: 64 bytes