Function clean_type_outlives_clause 

fn clean_type_outlives_clause<'tcx>(
    clause: Binder<'tcx, TypeOutlivesClause<'tcx>>,
    cx: &mut DocContext<'tcx>,
) -> WherePredicate