pub fn trans_apply_param_substs<T>(self,
                                       param_substs: &Substs<'tcx>,
                                       value: &T)
                                       -> T
        where T: TransNormalize<'tcx>
    {
        debug!("apply_param_substs(param_substs={:?}, value={:?})", param_substs, value);
        let substituted = value.subst(self, param_substs);
        let substituted = self.erase_regions(&substituted);
        AssociatedTypeNormalizer::new(self).fold(&substituted)
    }
/// Monomorphizes a type from the AST by first applying the in-scope
/// substitutions and then normalizing any associated types.
Monomorphizes a type from the AST by first applying the in-scope
substitutions and then normalizing any associated types.
Monomorphizes a type from the AST by first applying the in - scope substitutions and then normalizing any associated types .
pub fn trans_apply_param_substs<T>(self,
                                       param_substs: &Substs<'tcx>,
                                       value: &T)
                                       -> T
        where T: TransNormalize<'tcx>
    {
        debug!("apply_param_substs(param_substs={:?}, value={:?})", param_substs, value);
        let substituted = value.subst(self, param_substs);
        let substituted = self.erase_regions(&substituted);
        AssociatedTypeNormalizer::new(self).fold(&substituted)
    }
pub fn trans_apply_param_substs < T > ( self , param_substs : & Substs < ' tcx > , value : & T ) -> T where T : TransNormalize < ' tcx > { debug ! ( " " param_substs value ) ; let substituted = value . subst ( self , param_substs ) ; let substituted = self . erase_regions ( & substituted ) ; AssociatedTypeNormalizer :: new ( self ) . fold ( & substituted ) }
Monomorphizes a type from the AST by first applying the in-scope
substitutions and then normalizing any associated types.
Monomorphizes a type from the AST by first applying the in - scope substitutions and then normalizing any associated types .
self
param_substs
&Substs<'tcx>
value
&T
self
param_substs
&Substs<'tcx>
value
&T