Function cranelift_codegen_meta::cdsl::type_inference::infer_transform

pub(crate) fn infer_transform(
    src: DefIndex, 
    dst: &[DefIndex], 
    def_pool: &DefPool, 
    var_pool: &mut VarPool
) -> Result<TypeEnvironment, String>

Perform type inference on an transformation. Return an updated type environment or error.