pub fn substitute(&self, tcx: TyCtxt<'_, '_, 'tcx>, var_values: &CanonicalVarValues<'tcx>) -> V
    where
        V: TypeFoldable<'tcx>,
    {
        self.substitute_projected(tcx, var_values, |value| value)
    }
/// Instantiate the wrapped value, replacing each canonical value
/// with the value given in `var_values`.
Instantiate the wrapped value, replacing each canonical value
with the value given in `var_values`.
Instantiate the wrapped value replacing each canonical value with the value given in ` var_values ` .
pub fn substitute(&self, tcx: TyCtxt<'_, '_, 'tcx>, var_values: &CanonicalVarValues<'tcx>) -> V
    where
        V: TypeFoldable<'tcx>,
    {
        self.substitute_projected(tcx, var_values, |value| value)
    }
pub fn substitute ( & self , tcx : TyCtxt < ' _ , ' _ , ' tcx > , var_values : & CanonicalVarValues < ' tcx > ) -> V where V : TypeFoldable < ' tcx > , { self . substitute_projected ( tcx , var_values , | value | value ) }
Instantiate the wrapped value, replacing each canonical value
with the value given in `var_values`.
Instantiate the wrapped value replacing each canonical value with the value given in ` var_values ` .
&self
tcx
TyCtxt<'_, '_, 'tcx>
var_values
&CanonicalVarValues<'tcx>