Struct ClosureBodyPeek 

pub struct ClosureBodyPeek {
    pub params: Vec<FunctionParameter>,
    pub body: Vec<Statement>,
    pub return_type: Option<TypeAnnotation>,
    pub function_index: Option<usize>,
}

cluster-2-cw-IB-class-b (2026-05-16, supervisor R3 binding-ratified): retained closure-literal peek used to re-run body return-type inference at the value-call site with caller-context arg type hints. Stored per-local-slot in BytecodeCompiler.local_callable_closure_bodies at let-binding time (update_callable_binding_from_expr / FunctionExpr arm). The body is the AST Vec<Statement> clone — no bytecode-lowering happens at lookup time; the inference walker only inspects AST shape.

Fields

params: Vec<FunctionParameter>

Formal parameters of the closure literal (|inner| → [FunctionParameter { pattern: Identifier("inner"), .. }]).

body: Vec<Statement>

Closure literal body statements.

return_type: Option<TypeAnnotation>

Explicit -> T return annotation, if any.

function_index: Option<usize>

Compiled-function index assigned to the closure body by compile_expr_closure. None until the closure literal is actually lowered (the peek is built from the AST; the function index is assigned at compile-emission time). Used by the value- call propagation path to retroactively patch mir.local_typed_array_element_types for the closure body’s MIR-side typed-array param seed.

Trait Implementations

impl Clone for ClosureBodyPeek

fn clone(&self) -> ClosureBodyPeek

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClosureBodyPeek

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

Formats the value using the given formatter.