Function clean_projection_predicate

fn clean_projection_predicate<'tcx>(
    pred: Binder<'tcx, ProjectionPredicate<'tcx>>,
    cx: &mut DocContext<'tcx>,
) -> WherePredicate