Function rustc_infer::infer::canonical::instantiate::instantiate_value

source ยท
pub(super) fn instantiate_value<'tcx, T>(
    tcx: TyCtxt<'tcx>,
    var_values: &CanonicalVarValues<'tcx>,
    value: T,
) -> T
where T: TypeFoldable<TyCtxt<'tcx>>,
Expand description

Instantiate the values from var_values into value. var_values must be values for the set of canonical variables that appear in value.