Struct BindTemplateCallArgsPass

struct BindTemplateCallArgsPass<'a> {
    elaborator: &'a mut Elaborator,
    callee_name: &'a str,
    template: &'a RuntimeFunctionTemplate,
    locals: &'a mut Vec<(String, Ty)>,
}

Bind runtime template call arguments into specialization inputs.

Input invariant: args belongs to one runtime template call. Output invariant: returned binding contains a deterministic specialization key for the same argument sequence.

This pass resolves type arguments, binds meta parameters, materializes variadic packs, and builds a stable specialization key used by runtime template instantiation cache lookup.

Pass name: elab.bind_template_call_args.

Fields

elaborator: &'a mut Elaborator

callee_name: &'a str

template: &'a RuntimeFunctionTemplate

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

Trait Implementations

impl<'a> Pass for BindTemplateCallArgsPass<'a>

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

Stable pass name used for stats and diagnostics.

type In = Vec<CallArg>

Input value consumed by this pass.

type Out = TemplateCallBinding

Output value produced by this pass.

type Error = ElabError

Error type emitted by this pass.

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

Execute one pass invocation.