fn clean_poly_trait_predicate<'tcx>(
    pred: PolyTraitPredicate<'tcx>,
    cx: &mut DocContext<'tcx>
) -> Option<WherePredicate>