Struct Inlined 

pub struct Inlined {
    pub from: Pc,
    pub to: Pc,
    pub callee: FunctionId,
    pub site: Span,
    pub locals: Vec<Local>,
}

A body that was written elsewhere and expanded into this one.

[from, to) is the run of this function’s program counters the expansion occupies — from where the call stood to where its answer landed — callee is whose instructions they are, and site is where the call was written.

site is the whole of what an error chain lost. Machine::call_chain walks the live frames and reads each one’s call site; an expansion has no frame, so its call site was not there to read, and an error raised inside one named where it happened and not where it was called from. One span per expansion is what puts that back.

Fields

from: Pc

to: Pc

callee: FunctionId

site: Span

locals: Vec<Local>

The names the expanded body bound, in this function’s slots and this function’s counters.

Here rather than in Function::locals, and that is not tidiness. A caller’s binding and an expanded body’s parameter can be bound at the same program counter — the caller’s let raised = n + 1 and the callee’s n, when the argument needed no copy — and a reader sorting one table by “which expansion contains this counter” cannot tell them apart. Which body declared a name is not something a counter answers, so it is recorded rather than derived.

Trait Implementations

impl Clone for Inlined

fn clone(&self) -> Inlined

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Inlined

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

Formats the value using the given formatter.

impl Eq for Inlined

impl PartialEq for Inlined

fn eq(&self, other: &Inlined) -> 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 Inlined