Struct rustc_hir::Expr

pub struct Expr<'hir> {
    pub hir_id: HirId,
    pub kind: ExprKind<'hir>,
    pub span: Span,
}

An expression.

Fields

hir_id: HirId

kind: ExprKind<'hir>

span: Span

Implementations

impl Expr<'_>

pub fn precedence(&self) -> ExprPrecedence

pub fn is_syntactic_place_expr(&self) -> 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.

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

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]

impl<'hir> Debug for Expr<'hir>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'hir, __CTX> HashStable<__CTX> for Expr<'hir>where
    __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

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