Struct MirFunction 

pub struct MirFunction {
    pub id: MirFnId,
    pub name: String,
    pub type_params: Vec<(String, Vec<String>)>,
    pub params: Vec<MirParam>,
    pub return_type: Option<String>,
    pub body: MirBody,
    pub is_nogc: bool,
    pub cfg_body: Option<MirCfg>,
    pub decorators: Vec<String>,
    pub vis: Visibility,
}

A MIR function definition.

Contains both the tree-form MirBody and an optional CFG representation. The tree-form body is canonical after lowering; the CFG is built on demand via build_cfg for analyses that require explicit control-flow edges (SSA, dominators, loop analysis).

Lambda-lifted closures and the synthetic __main entry function are represented as regular MirFunction instances.

Fields

id: MirFnId

Unique function ID within the program.

name: String

Function name. Lambda-lifted closures use __closure_N names. Impl methods use Target.method qualified names.

type_params: Vec<(String, Vec<String>)>

Generic type parameters as (param_name, trait_bounds) pairs.

params: Vec<MirParam>

Function parameters in declaration order.

return_type: Option<String>

Return type name, if explicitly annotated.

body: MirBody

Tree-form function body (statements + optional tail expression).

is_nogc: bool

Whether this function is annotated with @nogc. When true, the nogc_verify module rejects any GC-triggering operations.

cfg_body: Option<MirCfg>

CFG representation of this function’s body. Built lazily from tree-form body via build_cfg(). When present, this is the canonical representation for the CFG executor.

decorators: Vec<String>

Decorator names applied to this function (e.g., @memoize, @trace).

vis: Visibility

Visibility of this function definition.

Implementations

impl MirFunction

pub fn build_cfg(&mut self)

Build the CFG representation from the tree-form body. Stores the result in cfg_body.

pub fn cfg(&mut self) -> &MirCfg

Return a reference to the CFG body, building it on demand if needed.

Subsequent calls reuse the cached CFG. Prefer build_cfg if you need to force a rebuild.

Trait Implementations

impl Clone for MirFunction

fn clone(&self) -> MirFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MirFunction

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

Formats the value using the given formatter.