Enum rustc_hir::Node

pub enum Node<'hir> {
    Param(&'hir Param<'hir>),
    Item(&'hir Item<'hir>),
    ForeignItem(&'hir ForeignItem<'hir>),
    TraitItem(&'hir TraitItem<'hir>),
    ImplItem(&'hir ImplItem<'hir>),
    Variant(&'hir Variant<'hir>),
    Field(&'hir FieldDef<'hir>),
    AnonConst(&'hir AnonConst),
    ConstBlock(&'hir ConstBlock),
    ConstArg(&'hir ConstArg<'hir>),
    Expr(&'hir Expr<'hir>),
    ExprField(&'hir ExprField<'hir>),
    Stmt(&'hir Stmt<'hir>),
    PathSegment(&'hir PathSegment<'hir>),
    Ty(&'hir Ty<'hir>),
    AssocItemConstraint(&'hir AssocItemConstraint<'hir>),
    TraitRef(&'hir TraitRef<'hir>),
    Pat(&'hir Pat<'hir>),
    PatField(&'hir PatField<'hir>),
    Arm(&'hir Arm<'hir>),
    Block(&'hir Block<'hir>),
    LetStmt(&'hir LetStmt<'hir>),
    Ctor(&'hir VariantData<'hir>),
    Lifetime(&'hir Lifetime),
    GenericParam(&'hir GenericParam<'hir>),
    Crate(&'hir Mod<'hir>),
    Infer(&'hir InferArg),
    WhereBoundPredicate(&'hir WhereBoundPredicate<'hir>),
    ArrayLenInfer(&'hir InferArg),
    PreciseCapturingNonLifetimeArg(&'hir PreciseCapturingNonLifetimeArg),
    Synthetic,
    Err(Span),
}

Variants

Param(&'hir Param<'hir>)

Item(&'hir Item<'hir>)

ForeignItem(&'hir ForeignItem<'hir>)

TraitItem(&'hir TraitItem<'hir>)

ImplItem(&'hir ImplItem<'hir>)

Variant(&'hir Variant<'hir>)

Field(&'hir FieldDef<'hir>)

AnonConst(&'hir AnonConst)

ConstBlock(&'hir ConstBlock)

ConstArg(&'hir ConstArg<'hir>)

Expr(&'hir Expr<'hir>)

ExprField(&'hir ExprField<'hir>)

Stmt(&'hir Stmt<'hir>)

PathSegment(&'hir PathSegment<'hir>)

Ty(&'hir Ty<'hir>)

AssocItemConstraint(&'hir AssocItemConstraint<'hir>)

TraitRef(&'hir TraitRef<'hir>)

Pat(&'hir Pat<'hir>)

PatField(&'hir PatField<'hir>)

Arm(&'hir Arm<'hir>)

Block(&'hir Block<'hir>)

LetStmt(&'hir LetStmt<'hir>)

Ctor(&'hir VariantData<'hir>)

Ctor refers to the constructor of an enum variant or struct. Only tuple or unit variants with synthesized constructors.

Lifetime(&'hir Lifetime)

GenericParam(&'hir GenericParam<'hir>)

Crate(&'hir Mod<'hir>)

Infer(&'hir InferArg)

WhereBoundPredicate(&'hir WhereBoundPredicate<'hir>)

ArrayLenInfer(&'hir InferArg)

PreciseCapturingNonLifetimeArg(&'hir PreciseCapturingNonLifetimeArg)

Synthetic

Err(Span)

Implementations

impl<'hir> Node<'hir>

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

Get the identifier of this Node, if applicable.

Edge cases

Calling .ident() on a Node::Ctor will return None because Ctors do not have identifiers themselves. Instead, call .ident() on the parent struct/variant, like so:

ctor
    .ctor_hir_id()
    .map(|ctor_id| tcx.parent_hir_node(ctor_id))
    .and_then(|parent| parent.ident())

pub fn fn_decl(self) -> Option<&'hir FnDecl<'hir>>

pub fn impl_block_of_trait( self, trait_def_id: DefId, ) -> Option<&'hir Impl<'hir>>

Get a hir::Impl if the node is an impl block for the given trait_def_id.

pub fn fn_sig(self) -> Option<&'hir FnSig<'hir>>

pub fn ty(self) -> Option<&'hir Ty<'hir>>

Get the type for constants, assoc types, type aliases and statics.

pub fn alias_ty(self) -> Option<&'hir Ty<'hir>>

pub fn associated_body(&self) -> Option<(LocalDefId, BodyId)>

pub fn body_id(&self) -> Option<BodyId>

pub fn generics(self) -> Option<&'hir Generics<'hir>>

pub fn as_owner(self) -> Option<OwnerNode<'hir>>

pub fn fn_kind(self) -> Option<FnKind<'hir>>

pub fn expect_param(&self) -> &'hir Param<'hir>

pub fn expect_item(&self) -> &'hir Item<'hir>

pub fn expect_foreign_item(&self) -> &'hir ForeignItem<'hir>

pub fn expect_trait_item(&self) -> &'hir TraitItem<'hir>

pub fn expect_impl_item(&self) -> &'hir ImplItem<'hir>

pub fn expect_variant(&self) -> &'hir Variant<'hir>

pub fn expect_field(&self) -> &'hir FieldDef<'hir>

pub fn expect_anon_const(&self) -> &'hir AnonConst

pub fn expect_inline_const(&self) -> &'hir ConstBlock

pub fn expect_expr(&self) -> &'hir Expr<'hir>

pub fn expect_expr_field(&self) -> &'hir ExprField<'hir>

pub fn expect_stmt(&self) -> &'hir Stmt<'hir>

pub fn expect_path_segment(&self) -> &'hir PathSegment<'hir>

pub fn expect_ty(&self) -> &'hir Ty<'hir>

pub fn expect_assoc_item_constraint(&self) -> &'hir AssocItemConstraint<'hir>

pub fn expect_trait_ref(&self) -> &'hir TraitRef<'hir>

pub fn expect_pat(&self) -> &'hir Pat<'hir>

pub fn expect_pat_field(&self) -> &'hir PatField<'hir>

pub fn expect_arm(&self) -> &'hir Arm<'hir>

pub fn expect_block(&self) -> &'hir Block<'hir>

pub fn expect_let_stmt(&self) -> &'hir LetStmt<'hir>

pub fn expect_ctor(&self) -> &'hir VariantData<'hir>

pub fn expect_lifetime(&self) -> &'hir Lifetime

pub fn expect_generic_param(&self) -> &'hir GenericParam<'hir>

pub fn expect_crate(&self) -> &'hir Mod<'hir>

pub fn expect_infer(&self) -> &'hir InferArg

pub fn expect_closure(&self) -> &'hir Closure<'hir>

Trait Implementations

impl<'hir> Clone for Node<'hir>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'hir> Debug for Node<'hir>

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

Formats the value using the given formatter.

impl<'hir, __CTX> HashStable<__CTX> for Node<'hir>

where __CTX: HashStableContext,

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

impl<'hir> Into<Node<'hir>> for OwnerNode<'hir>

fn into(self) -> Node<'hir>

Converts this type into the (usually inferred) input type.

impl<'hir> Copy for Node<'hir>

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: 16 bytes

Size for each variant:

• Param: 12 bytes
• Item: 12 bytes
• ForeignItem: 12 bytes
• TraitItem: 12 bytes
• ImplItem: 12 bytes
• Variant: 12 bytes
• Field: 12 bytes
• AnonConst: 12 bytes
• ConstBlock: 12 bytes
• ConstArg: 12 bytes
• Expr: 12 bytes
• ExprField: 12 bytes
• Stmt: 12 bytes
• PathSegment: 12 bytes
• Ty: 12 bytes
• AssocItemConstraint: 12 bytes
• TraitRef: 12 bytes
• Pat: 12 bytes
• PatField: 12 bytes
• Arm: 12 bytes
• Block: 12 bytes
• LetStmt: 12 bytes
• Ctor: 12 bytes
• Lifetime: 12 bytes
• GenericParam: 12 bytes
• Crate: 12 bytes
• Infer: 12 bytes
• WhereBoundPredicate: 12 bytes
• ArrayLenInfer: 12 bytes
• PreciseCapturingNonLifetimeArg: 12 bytes
• Synthetic: 0 bytes
• Err: 8 bytes