Function instantiate_args_for_constructor

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