pub 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(|u| u.map(|u| self.new_variable(u)))
            .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 .
pub 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(|u| u.map(|u| self.new_variable(u)))
            .collect();
        debug!("instantiate: vars={:?}", vars);
        let mut instantiator = Instantiator { vars };
        arg.fold_with(&mut instantiator, 0).expect("")
    }
pub 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 ( | u | u . map ( | u | self . new_variable ( u ) ) ) . 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