@@ -330,7 +330,7 @@ impl<'tcx> Clean<'tcx, Option<WherePredicate>> for ty::Predicate<'tcx> {
330
330
ty:: PredicateKind :: Trait ( pred) => bound_predicate. rebind ( pred) . clean ( cx) ,
331
331
ty:: PredicateKind :: RegionOutlives ( pred) => pred. clean ( cx) ,
332
332
ty:: PredicateKind :: TypeOutlives ( pred) => pred. clean ( cx) ,
333
- ty:: PredicateKind :: Projection ( pred) => Some ( pred . clean ( cx) ) ,
333
+ ty:: PredicateKind :: Projection ( pred) => Some ( clean_projection_predicate ( pred , cx) ) ,
334
334
ty:: PredicateKind :: ConstEvaluatable ( ..) => None ,
335
335
ty:: PredicateKind :: WellFormed ( ..) => None ,
336
336
@@ -418,13 +418,14 @@ impl<'tcx> Clean<'tcx, Term> for hir::Term<'tcx> {
418
418
}
419
419
}
420
420
421
- impl < ' tcx > Clean < ' tcx , WherePredicate > for ty:: ProjectionPredicate < ' tcx > {
422
- fn clean ( & self , cx : & mut DocContext < ' tcx > ) -> WherePredicate {
423
- let ty:: ProjectionPredicate { projection_ty, term } = self ;
424
- WherePredicate :: EqPredicate {
425
- lhs : clean_projection ( * projection_ty, cx, None ) ,
426
- rhs : term. clean ( cx) ,
427
- }
421
+ fn clean_projection_predicate < ' tcx > (
422
+ pred : ty:: ProjectionPredicate < ' tcx > ,
423
+ cx : & mut DocContext < ' tcx > ,
424
+ ) -> WherePredicate {
425
+ let ty:: ProjectionPredicate { projection_ty, term } = pred;
426
+ WherePredicate :: EqPredicate {
427
+ lhs : clean_projection ( projection_ty, cx, None ) ,
428
+ rhs : term. clean ( cx) ,
428
429
}
429
430
}
430
431
0 commit comments