fn instantiate<U, T>(&mut self, universes: U, arg: &T) -> T::Result
    where
        T: Fold + Debug,
        U: IntoIterator<Item = ParameterKind<UniverseIndex>>,
    {
        debug!("instantiate(arg={:?})", arg);
        let vars: Vec<_> = universes
            .into_iter()
            .map(|param_kind| self.parameter_kind_to_parameter(param_kind))
            .collect();
        debug!("instantiate: vars={:?}", vars);
        let mut instantiator = Instantiator { vars };
        arg.fold_with(&mut instantiator, 0).expect("")
    }
/// Create a instance of `arg` where each variable is replaced with
/// a fresh inference variable of suitable kind.
Create a instance of `arg` where each variable is replaced with
a fresh inference variable of suitable kind.
Create a instance of ` arg ` where each variable is replaced with a fresh inference variable of suitable kind .
fn instantiate<U, T>(&mut self, universes: U, arg: &T) -> T::Result
    where
        T: Fold + Debug,
        U: IntoIterator<Item = ParameterKind<UniverseIndex>>,
    {
        debug!("instantiate(arg={:?})", arg);
        let vars: Vec<_> = universes
            .into_iter()
            .map(|param_kind| self.parameter_kind_to_parameter(param_kind))
            .collect();
        debug!("instantiate: vars={:?}", vars);
        let mut instantiator = Instantiator { vars };
        arg.fold_with(&mut instantiator, 0).expect("")
    }
fn instantiate < U , T > ( & mut self , universes : U , arg : & T ) -> T :: Result where T : Fold + Debug , U : IntoIterator < Item = ParameterKind < UniverseIndex > > , { debug ! ( " " arg ) ; let vars : Vec < _ > = universes . into_iter ( ) . map ( | param_kind | self . parameter_kind_to_parameter ( param_kind ) ) . collect ( ) ; debug ! ( " " vars ) ; let mut instantiator = Instantiator { vars } ; arg . fold_with ( & mut instantiator , 0 ) . expect ( " " ) }
Create a instance of `arg` where each variable is replaced with
a fresh inference variable of suitable kind.
Create a instance of ` arg ` where each variable is replaced with a fresh inference variable of suitable kind .
&mut self
universes
U
arg
&T
&mut self
universes
U
arg
&T