pub struct ForLoop<'tcx> {
pub pat: &'tcx Pat<'tcx>,
pub arg: &'tcx Expr<'tcx>,
pub body: &'tcx Expr<'tcx>,
pub loop_id: HirId,
pub span: Span,
pub label: Option<Label>,
}
Expand description
The essential nodes of a desugared for loop as well as the entire span:
for pat in arg { body }
becomes (pat, arg, body)
. Returns (pat, arg, body, span)
.
Fields§
§pat: &'tcx Pat<'tcx>
for
loop item
arg: &'tcx Expr<'tcx>
IntoIterator
argument
body: &'tcx Expr<'tcx>
for
loop body
loop_id: HirId
Compare this against hir::Destination.target
span: Span
entire for
loop span
label: Option<Label>
label
Implementations§
Auto Trait Implementations§
impl<'tcx> Freeze for ForLoop<'tcx>
impl<'tcx> RefUnwindSafe for ForLoop<'tcx>
impl<'tcx> !Send for ForLoop<'tcx>
impl<'tcx> !Sync for ForLoop<'tcx>
impl<'tcx> Unpin for ForLoop<'tcx>
impl<'tcx> UnwindSafe for ForLoop<'tcx>
Blanket Implementations§
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
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreLayout§
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: 56 bytes