Expand description
An expression.
Fields
hir_id: HirId
kind: ExprKind<'hir>
span: Span
Implementations
sourceimpl Expr<'_>
impl Expr<'_>
pub fn precedence(&self) -> ExprPrecedence
pub fn is_syntactic_place_expr(&self) -> bool
sourcepub fn is_place_expr(
&self,
allow_projections_from: impl FnMut(&Self) -> bool
) -> bool
pub fn is_place_expr(
&self,
allow_projections_from: impl FnMut(&Self) -> bool
) -> bool
Whether this is a place expression.
allow_projections_from
should return true
if indexing a field or index expression based
on the given expression should be considered a place expression.
sourcepub fn peel_drop_temps(&self) -> &Self
pub fn peel_drop_temps(&self) -> &Self
If Self.kind
is ExprKind::DropTemps(expr)
, drill down until we get a non-DropTemps
Expr
. This is used in suggestions to ignore this ExprKind
as it is semantically
silent, only signaling the ownership system. By doing this, suggestions that check the
ExprKind
of any given Expr
for presentation don’t have to care about DropTemps
beyond remembering to call this function before doing analysis on it.
pub fn peel_blocks(&self) -> &Self
pub fn can_have_side_effects(&self) -> bool
pub fn is_approximately_pattern(&self) -> bool
pub fn method_ident(&self) -> Option<Ident>
Trait Implementations
sourceimpl<'tcx> ArenaAllocatable<'tcx, IsNotCopy> for Expr<'tcx>
impl<'tcx> ArenaAllocatable<'tcx, IsNotCopy> for Expr<'tcx>
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self
fn allocate_from_iter<'a>(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<'hir, __CTX> HashStable<__CTX> for Expr<'hir>where
__CTX: HashStableContext,
impl<'hir, __CTX> HashStable<__CTX> for Expr<'hir>where
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
Auto Trait Implementations
impl<'hir> RefUnwindSafe for Expr<'hir>
impl<'hir> !Send for Expr<'hir>
impl<'hir> !Sync for Expr<'hir>
impl<'hir> Unpin for Expr<'hir>
impl<'hir> UnwindSafe for Expr<'hir>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
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