Struct rustc_ast::ast::Expr

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

An expression.

Fields

id: NodeId

kind: ExprKind

span: Span

attrs: AttrVec

tokens: Option<LazyAttrTokenStream>

Implementations

impl Expr

pub fn is_potential_trivial_const_arg(&self) -> bool

Is this expr either N, or { N }.

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.

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

pub fn peel_parens(&self) -> &Expr

pub fn peel_parens_and_refs(&self) -> &Expr

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

Attempts to reparse as Ty (for diagnostic purposes).

pub fn precedence(&self) -> ExprPrecedence

pub fn is_approximately_pattern(&self) -> bool

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

Trait Implementations

impl !AstDeref for Expr

type Target

fn ast_deref(&self) -> &Self::Target

fn ast_deref_mut(&mut self) -> &mut Self::Target

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

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

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

impl DummyAstNode for Expr

fn dummy() -> Self

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

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

impl HasAttrs for Expr

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.

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

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

impl HasNodeId for Expr

fn node_id(&self) -> NodeId

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

impl HasSpan for Expr

fn span(&self) -> Span

impl HasTokens for Expr

fn tokens(&self) -> Option<&LazyAttrTokenStream>

fn tokens_mut(&mut self) -> Option<&mut Option<LazyAttrTokenStream>>

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