Struct InstantiateRuntimeFunctionPass

struct InstantiateRuntimeFunctionPass<'a> {
    elaborator: &'a mut Elaborator,
    callee_name: &'a str,
    template: &'a RuntimeFunctionTemplate,
    type_bindings: &'a BTreeMap<String, Ty>,
    meta_bindings: &'a BTreeMap<String, TemplateMetaBinding>,
    specialization_key: &'a SpecializationKey,
    variadic_pack_tys: &'a [Ty],
}

Instantiate one runtime template function specialization.

Input invariant: all specialization bindings correspond to specialization_key. Output invariant: returned function name is registered in specialization/cache maps.

This pass performs specialization cache lookup, recursion guard handling, concrete function synthesis, signature registration, and body elaboration for one runtime template instance.

Pass name: elab.instantiate_runtime_function.

Fields

elaborator: &'a mut Elaborator

callee_name: &'a str

template: &'a RuntimeFunctionTemplate

type_bindings: &'a BTreeMap<String, Ty>

meta_bindings: &'a BTreeMap<String, TemplateMetaBinding>

specialization_key: &'a SpecializationKey

variadic_pack_tys: &'a [Ty]

Trait Implementations

impl<'a> Pass for InstantiateRuntimeFunctionPass<'a>

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

Stable pass name used for stats and diagnostics.

type In = ()

Input value consumed by this pass.

type Out = String

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.