Struct CalleeSig 

pub struct CalleeSig {
    pub param_kinds: Vec<Option<ParamKind>>,
    pub ret: Option<SlotKind>,
    pub list_params_stable: bool,
    pub returns_list_param: bool,
}

A natively-compiled LOOP REGION (OSR-lite): no arguments, no return — every effect flows through the enclosing frame’s registers. What a REGION needs to know about a function it might call: the declared signature (all-scalar = replay-pure = inlinable) and the function index for its table slot.

Fields

param_kinds: Vec<Option<ParamKind>>

ret: Option<SlotKind>

Declared scalar return; None keeps the callee out of regions.

list_params_stable: bool

LEVER B (a region may CALL a list-parameter function). Sound only when the callee never reallocates a list-param buffer (no Push reaching a list param) — then the caller’s derived raw buffer pointer stays valid across the call. true ⇒ list args don’t move under the call.

returns_list_param: bool

Every Return traces (through Moves) to a list PARAMETER, so the returned handle aliases a passed-in (already-pinned) buffer rather than a fresh one. Lets a LIST-returning callee be admitted; a scalar return is governed by ret and ignores this. false for non-list / fresh-list / multi-element-kind returns.

Trait Implementations

impl Clone for CalleeSig

fn clone(&self) -> CalleeSig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CalleeSig

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

Formats the value using the given formatter.