pub fn fresh_subst(&mut self, binders: &[ParameterKind<UniverseIndex>]) -> Substitution {
        let mut subst = Substitution::empty();

        for (i, kind) in binders.iter().enumerate() {
            let param_infer_var = kind.map(|ui| self.new_variable(ui));
            subst.insert(InferenceVariable::from_depth(i), param_infer_var.to_parameter());
        }

        subst
    }
/// Given the binders from a canonicalized value C, returns a
/// substitution S mapping each free variable in C to a fresh
/// inference variable. This substitution can then be applied to
/// C, which would be equivalent to
/// `self.instantiate_canonical(v)`.
Given the binders from a canonicalized value C, returns a
substitution S mapping each free variable in C to a fresh
inference variable. This substitution can then be applied to
C, which would be equivalent to
`self.instantiate_canonical(v)`.
Given the binders from a canonicalized value C returns a substitution S mapping each free variable in C to a fresh inference variable . This substitution can then be applied to C which would be equivalent to ` self . instantiate_canonical ( v ) ` .
pub fn fresh_subst(&mut self, binders: &[ParameterKind<UniverseIndex>]) -> Substitution {
        let mut subst = Substitution::empty();
        for (i, kind) in binders.iter().enumerate() {
            let param_infer_var = kind.map(|ui| self.new_variable(ui));
            subst.insert(InferenceVariable::from_depth(i), param_infer_var.to_parameter());
        }
        subst
    }
pub fn fresh_subst ( & mut self , binders : & [ ParameterKind < UniverseIndex > ] ) -> Substitution { let mut subst = Substitution :: empty ( ) ; for ( i , kind ) in binders . iter ( ) . enumerate ( ) { let param_infer_var = kind . map ( | ui | self . new_variable ( ui ) ) ; subst . insert ( InferenceVariable :: from_depth ( i ) , param_infer_var . to_parameter ( ) ) ; } subst }
Given the binders from a canonicalized value C, returns a
substitution S mapping each free variable in C to a fresh
inference variable.
Given the binders from a canonicalized value C returns a substitution S mapping each free variable in C to a fresh inference variable .
&mut self
binders
&[ParameterKind<UniverseIndex>]