pub struct Expr<'hir> {
pub hir_id: HirId,
pub kind: ExprKind<'hir>,
pub span: Span,
}
Expand description
An expression.
Fields§
§hir_id: HirId
§kind: ExprKind<'hir>
§span: Span
Implementations§
source§impl Expr<'_>
impl Expr<'_>
pub fn precedence(&self) -> ExprPrecedence
sourcepub fn is_syntactic_place_expr(&self) -> bool
pub fn is_syntactic_place_expr(&self) -> bool
Whether this looks like a place expr, without checking for deref
adjustments.
This will return true
in some potentially surprising cases such as
CONSTANT.field
.
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 peel_borrows(&self) -> &Self
pub fn can_have_side_effects(&self) -> bool
sourcepub fn is_approximately_pattern(&self) -> bool
pub fn is_approximately_pattern(&self) -> bool
To a first-order approximation, is this a pattern?
pub fn method_ident(&self) -> Option<Ident>
Trait Implementations§
source§impl<'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)
impl<'hir> Copy for Expr<'hir>
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§
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
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