Function replace_pred_ty 

fn replace_pred_ty<'tcx>(pred: &mut NumericPredicate<'tcx>, ty: Ty<'tcx>)

Replace size_of/align_of type arguments inside a numeric predicate.