Struct Body 

pub struct Body {
    pub name: String,
    pub instructions: Vec<Instruction>,
}

A function body to check.

Contains a name (for diagnostics) and a sequence of instructions.

Fields

name: String

Name of the function/scope being checked.

instructions: Vec<Instruction>

Instructions in program order.

Implementations

impl Body

pub fn new(name: impl Into<String>, instructions: Vec<Instruction>) -> Self

Creates a new body with the given name and instructions.

Trait Implementations

impl Clone for Body

fn clone(&self) -> Body

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Body

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

Formats the value using the given formatter.