pub(crate) fn clean_predicate<'tcx>(
    predicate: Predicate<'tcx>,
    cx: &mut DocContext<'tcx>
) -> Option<WherePredicate>