fn clean_type_outlives_predicate<'tcx>(
    pred: OutlivesPredicate<Ty<'tcx>, Region<'tcx>>,
    cx: &mut DocContext<'tcx>
) -> Option<WherePredicate>