Function rustc_infer::infer::canonical::substitute::substitute_value

pub(super) fn substitute_value<'a, 'tcx, T>(
    tcx: TyCtxt<'tcx>, 
    var_values: &CanonicalVarValues<'tcx>, 
    value: &'a T
) -> T where
    T: TypeFoldable<'tcx>, 

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