Struct rustc_hir::hir::Expr [−][src]
An expression.
Fields
hir_id: HirId
kind: ExprKind<'hir>
attrs: AttrVec
span: Span
Implementations
impl Expr<'_>
[src]
pub fn precedence(&self) -> ExprPrecedence
[src]
pub fn is_syntactic_place_expr(&self) -> bool
[src]
pub fn is_place_expr(
&self,
allow_projections_from: impl FnMut(&Self) -> bool
) -> bool
[src]
&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
[src]
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
[src]
pub fn can_have_side_effects(&self) -> bool
[src]
Trait Implementations
impl<'hir> Debug for Expr<'hir>
[src]
impl<HirCtx: HashStableContext> HashStable<HirCtx> for Expr<'_>
[src]
fn hash_stable(&self, hcx: &mut HirCtx, hasher: &mut StableHasher)
[src]
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
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,