fn clean_middle_term<'tcx>(term: Term<'tcx>, cx: &mut DocContext<'tcx>) -> Term