rustc_ast::ast

Struct Expr

Source
pub struct Expr {
    pub id: NodeId,
    pub kind: ExprKind,
    pub span: Span,
    pub attrs: AttrVec,
    pub tokens: Option<LazyAttrTokenStream>,
}
Expand description

An expression.

Fields§

§id: NodeId§kind: ExprKind§span: Span§attrs: AttrVec§tokens: Option<LazyAttrTokenStream>

Implementations§

Source§

impl Expr

Source

pub fn is_potential_trivial_const_arg(&self) -> bool

Could this expr be either N, or { N }, where N is a const parameter.

If this is not the case, name resolution does not resolve N when using min_const_generics as more complex expressions are not supported.

Does not ensure that the path resolves to a const param, the caller should check this. This also does not consider macros, so it’s only correct after macro-expansion.

Source

pub fn maybe_unwrap_block(&self) -> &Expr

Returns an expression with (when possible) one outter brace removed

Source

pub fn optionally_braced_mac_call( &self, already_stripped_block: bool, ) -> Option<(bool, NodeId)>

Determines whether this expression is a macro call optionally wrapped in braces . If already_stripped_block is set then we do not attempt to peel off a layer of braces.

Returns the NodeId of the macro call and whether a layer of braces has been peeled either before, or part of, this function.

Source

pub fn to_bound(&self) -> Option<GenericBound>

Source

pub fn peel_parens(&self) -> &Expr

Source

pub fn peel_parens_and_refs(&self) -> &Expr

Source

pub fn to_ty(&self) -> Option<P<Ty>>

Attempts to reparse as Ty (for diagnostic purposes).

Source

pub fn precedence(&self) -> ExprPrecedence

Source

pub fn is_approximately_pattern(&self) -> bool

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

Trait Implementations§

Source§

impl Clone for Expr

Source§

fn clone(&self) -> Expr

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 Debug for Expr

Source§

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

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

impl<__D: SpanDecoder> Decodable<__D> for Expr

Source§

fn decode(__decoder: &mut __D) -> Self

Source§

impl DummyAstNode for Expr

Source§

fn dummy() -> Self

Source§

impl<__E: SpanEncoder> Encodable<__E> for Expr

Source§

fn encode(&self, __encoder: &mut __E)

Source§

impl HasAttrs for Expr

Source§

const SUPPORTS_CUSTOM_INNER_ATTRS: bool = false

This is true if this HasAttrs might support ‘custom’ (proc-macro) inner attributes. Attributes like #![cfg] and #![cfg_attr] are not considered ‘custom’ attributes. Read more
Source§

fn attrs(&self) -> &[Attribute]

Source§

fn visit_attrs(&mut self, f: impl FnOnce(&mut AttrVec))

Source§

impl HasNodeId for Expr

Source§

fn node_id(&self) -> NodeId

Source§

fn node_id_mut(&mut self) -> &mut NodeId

Source§

impl HasTokens for Expr

Source§

impl !AstDeref for Expr

Auto Trait Implementations§

§

impl DynSend for Expr

§

impl DynSync for Expr

§

impl Freeze for Expr

§

impl !RefUnwindSafe for Expr

§

impl !Send for Expr

§

impl !Sync for Expr

§

impl Unpin for Expr

§

impl !UnwindSafe for Expr

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<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 u8)

🔬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> Pointable for T

Source§

const ALIGN: usize = _

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. 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<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: 72 bytes