Struct HirBody 

pub struct HirBody {
    pub exprs: Arena<HirExpr>,
    pub stmts: Arena<HirStmt>,
    pub blocks: Arena<HirBlock>,
    pub source_map: BodySourceMap,
    pub root_block: HirBlockId,
    pub owner: BodyOwnerKind,
}

Arena-based expression/statement/block graph for one body owner.

This is the unit of lowering produced by lower_body. It is separate from crate::hir::HirFile’s flat item list — flat items remain for compile-time fact extraction; bodies are the new representation for data-flow analysis, context propagation, and PIR-A lowering.

Fields

exprs: Arena<HirExpr>

All expression nodes, indexed by HirExprId.

stmts: Arena<HirStmt>

All statement nodes, indexed by HirStmtId.

blocks: Arena<HirBlock>

All block nodes (ordered statement sequences), indexed by HirBlockId.

source_map: BodySourceMap

Source map: maps each expr/stmt/block index to its SourceLocation.

root_block: HirBlockId

Root block — the entry point for the body.

owner: BodyOwnerKind

What syntactic construct owns this body.

Implementations

impl HirBody

pub fn expr(&self, id: HirExprId) -> Option<&HirExpr>

Look up an expression node by ID.

pub fn stmt(&self, id: HirStmtId) -> Option<&HirStmt>

Look up a statement node by ID.

pub fn block(&self, id: HirBlockId) -> Option<&HirBlock>

Look up a block node by ID.

Trait Implementations

impl Clone for HirBody

fn clone(&self) -> HirBody

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HirBody

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

Formats the value using the given formatter.

impl Eq for HirBody

impl PartialEq for HirBody

fn eq(&self, other: &HirBody) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for HirBody