pub fn apply_param_substs<'a, 'tcx, T>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
                                       param_substs: &Substs<'tcx>,
                                       value: &T)
                                       -> T
    where T: TransNormalize<'tcx>
{
    let substituted = value.subst(tcx, param_substs);
    tcx.normalize_associated_type(&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 apply_param_substs<'a, 'tcx, T>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
                                       param_substs: &Substs<'tcx>,
                                       value: &T)
                                       -> T
    where T: TransNormalize<'tcx>
{
    let substituted = value.subst(tcx, param_substs);
    tcx.normalize_associated_type(&substituted)
}
pub fn apply_param_substs < ' a , ' tcx , T > ( tcx : TyCtxt < ' a , ' tcx , ' tcx > , param_substs : & Substs < ' tcx > , value : & T ) -> T where T : TransNormalize < ' tcx > { let substituted = value . subst ( tcx , param_substs ) ; tcx . normalize_associated_type ( & 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 .
tcx
TyCtxt<'a, 'tcx, 'tcx>
param_substs
&Substs<'tcx>
value
&T
tcx
TyCtxt<'a, 'tcx, 'tcx>
param_substs
&Substs<'tcx>
value
&T