Struct rustc_hir::hir::Expr

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

An expression.

For more details, see the rust lang reference. Note that the reference does not document nightly-only features. There may be also slight differences in the names and representation of AST nodes between the compiler and the reference.

Fields§

§hir_id: HirId§kind: ExprKind<'hir>§span: Span

Implementations§

source§

impl Expr<'_>

source

pub fn precedence(&self) -> ExprPrecedence

source

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.

source

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.

source

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.

source

pub fn peel_blocks(&self) -> &Self

source

pub fn peel_borrows(&self) -> &Self

source

pub fn can_have_side_effects(&self) -> bool

source

pub fn is_approximately_pattern(&self) -> bool

To a first-order approximation, is this a pattern?

source

pub fn equivalent_for_indexing(&self, other: &Expr<'_>) -> bool

Whether this and the other expression are the same for purposes of an indexing operation.

This is only used for diagnostics to see if we have things like foo[i] where foo is borrowed multiple times with i.

source

pub fn method_ident(&self) -> Option<Ident>

Trait Implementations§

source§

impl<'hir> Clone for Expr<'hir>

source§

fn clone(&self) -> Expr<'hir>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

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

source§

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

Formats the value using the given formatter. Read more
source§

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

source§

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

source§

impl<'hir> Copy for Expr<'hir>

Auto Trait Implementations§

§

impl<'hir> Freeze for Expr<'hir>

§

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<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

source§

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

source§

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'a mut [T]

source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

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 more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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 more
source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

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