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

source ·

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

Expand description

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