crate fn fresh_subst(&mut self, binders: &[ParameterKind<UniverseIndex>]) -> Substitution {
        Substitution {
            parameters: binders
                .iter()
                .map(|kind| {
                    let param_infer_var = kind.map(|ui| self.new_variable(ui));
                    param_infer_var.to_parameter()
                })
                .collect(),
        }
    }
/// 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 ) ` .
crate fn fresh_subst(&mut self, binders: &[ParameterKind<UniverseIndex>]) -> Substitution {
        Substitution {
            parameters: binders
                .iter()
                .map(|kind| {
                    let param_infer_var = kind.map(|ui| self.new_variable(ui));
                    param_infer_var.to_parameter()
                })
                .collect(),
        }
    }
crate fn fresh_subst ( & mut self , binders : & [ ParameterKind < UniverseIndex > ] ) -> Substitution { Substitution { parameters : binders . iter ( ) . map ( | kind | { let param_infer_var = kind . map ( | ui | self . new_variable ( ui ) ) ; param_infer_var . to_parameter ( ) } ) . collect ( ) , } }
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>]
&mut self
binders
&[ParameterKind<UniverseIndex>]