Function instantiate_args_for_fun_call

fn instantiate_args_for_fun_call(
    genv: GlobalEnv<'_, '_>,
    caller_id: DefId,
    callee_id: DefId,
    args: &GenericArgs,
) -> QueryResult<Vec<GenericArg>>