@@ -268,7 +268,7 @@ fn clean_poly_trait_ref_with_constraints<'tcx>(
268268 )
269269}
270270
271- fn clean_lifetime ( lifetime : & hir:: Lifetime , cx : & mut DocContext < ' _ > ) -> Lifetime {
271+ fn clean_lifetime ( lifetime : & hir:: Lifetime , cx : & DocContext < ' _ > ) -> Lifetime {
272272 if let Some (
273273 rbv:: ResolvedArg :: EarlyBound ( did)
274274 | rbv:: ResolvedArg :: LateBound ( _, _, did)
@@ -362,9 +362,9 @@ pub(crate) fn clean_predicate<'tcx>(
362362 let bound_predicate = predicate. kind ( ) ;
363363 match bound_predicate. skip_binder ( ) {
364364 ty:: ClauseKind :: Trait ( pred) => clean_poly_trait_predicate ( bound_predicate. rebind ( pred) , cx) ,
365- ty:: ClauseKind :: RegionOutlives ( pred) => clean_region_outlives_predicate ( pred) ,
365+ ty:: ClauseKind :: RegionOutlives ( pred) => Some ( clean_region_outlives_predicate ( pred) ) ,
366366 ty:: ClauseKind :: TypeOutlives ( pred) => {
367- clean_type_outlives_predicate ( bound_predicate. rebind ( pred) , cx)
367+ Some ( clean_type_outlives_predicate ( bound_predicate. rebind ( pred) , cx) )
368368 }
369369 ty:: ClauseKind :: Projection ( pred) => {
370370 Some ( clean_projection_predicate ( bound_predicate. rebind ( pred) , cx) )
@@ -398,30 +398,30 @@ fn clean_poly_trait_predicate<'tcx>(
398398
399399fn clean_region_outlives_predicate (
400400 pred : ty:: RegionOutlivesPredicate < ' _ > ,
401- ) -> Option < WherePredicate > {
401+ ) -> WherePredicate {
402402 let ty:: OutlivesPredicate ( a, b) = pred;
403403
404- Some ( WherePredicate :: RegionPredicate {
404+ WherePredicate :: RegionPredicate {
405405 lifetime : clean_middle_region ( a) . expect ( "failed to clean lifetime" ) ,
406406 bounds : vec ! [ GenericBound :: Outlives (
407407 clean_middle_region( b) . expect( "failed to clean bounds" ) ,
408408 ) ] ,
409- } )
409+ }
410410}
411411
412412fn clean_type_outlives_predicate < ' tcx > (
413413 pred : ty:: Binder < ' tcx , ty:: TypeOutlivesPredicate < ' tcx > > ,
414414 cx : & mut DocContext < ' tcx > ,
415- ) -> Option < WherePredicate > {
415+ ) -> WherePredicate {
416416 let ty:: OutlivesPredicate ( ty, lt) = pred. skip_binder ( ) ;
417417
418- Some ( WherePredicate :: BoundPredicate {
418+ WherePredicate :: BoundPredicate {
419419 ty : clean_middle_ty ( pred. rebind ( ty) , cx, None , None ) ,
420420 bounds : vec ! [ GenericBound :: Outlives (
421421 clean_middle_region( lt) . expect( "failed to clean lifetimes" ) ,
422422 ) ] ,
423423 bound_params : Vec :: new ( ) ,
424- } )
424+ }
425425}
426426
427427fn clean_middle_term < ' tcx > (
@@ -1860,7 +1860,7 @@ pub(crate) fn clean_ty<'tcx>(ty: &hir::Ty<'tcx>, cx: &mut DocContext<'tcx>) -> T
18601860
18611861/// Returns `None` if the type could not be normalized
18621862fn normalize < ' tcx > (
1863- cx : & mut DocContext < ' tcx > ,
1863+ cx : & DocContext < ' tcx > ,
18641864 ty : ty:: Binder < ' tcx , Ty < ' tcx > > ,
18651865) -> Option < ty:: Binder < ' tcx , Ty < ' tcx > > > {
18661866 // HACK: low-churn fix for #79459 while we wait for a trait normalization fix
0 commit comments