Struct ValidateRuntimeCallArgsPass

struct ValidateRuntimeCallArgsPass<'a> {
    elaborator: &'a mut Elaborator,
    params: &'a [(OwnershipMode, Ty)],
    locals: &'a mut Vec<(String, Ty)>,
    callee_name: &'a str,
}

Validate runtime call arguments against one resolved signature.

Input invariant: argument list belongs to one runtime call target. Output invariant: argument count matches params and each argument has been elaborated against the corresponding parameter type.

This pass runs after call-spread normalization. It rejects arity mismatch, rejects non-expression argument kinds in runtime call slots, and elaborates each value argument against the expected parameter type.

Pass name: elab.validate_runtime_call_args.

Fields

elaborator: &'a mut Elaborator

params: &'a [(OwnershipMode, Ty)]

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

callee_name: &'a str

Trait Implementations

impl<'a> Pass for ValidateRuntimeCallArgsPass<'a>

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

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.