Struct NormalizeRuntimeCallsAndSpreadsPass

struct NormalizeRuntimeCallsAndSpreadsPass<'a> {
    elaborator: &'a mut Elaborator,
    locals: &'a mut Vec<(String, Ty)>,
}

Normalize runtime call arguments by expanding tuple spread operands.

Input invariant: args belong to one runtime call expression. Output invariant: returned arguments contain no CallArg::Spread items.

This pass rewrites ...tuple_ident arguments into indexed field accesses (tuple_ident.0, tuple_ident.1, …), preserving call argument order. Spread operands must be identifier expressions and must elaborate to tuple or unit types.

Pass name: elab.normalize_runtime_calls_and_spreads.

Fields

elaborator: &'a mut Elaborator

locals: &'a mut Vec<(String, Ty)>

Trait Implementations

impl<'a> Pass for NormalizeRuntimeCallsAndSpreadsPass<'a>

const NAME: &'static str = "elab.normalize_runtime_calls_and_spreads"

Stable pass name used for stats and diagnostics.

type In = Vec<CallArg>

Input value consumed by this pass.

type Out = Vec<CallArg>

Output value produced by this pass.

type Error = ElabError

Error type emitted by this pass.

fn run( &mut self, input: Self::In, _cx: &mut PassContext, ) -> Result<Self::Out, Self::Error>

Execute one pass invocation.