@@ -346,7 +346,7 @@ impl<'a> Clean<Option<WherePredicate>> for ty::Predicate<'a> {
346346 fn clean ( & self , cx : & mut DocContext < ' _ > ) -> Option < WherePredicate > {
347347 let bound_predicate = self . kind ( ) ;
348348 match bound_predicate. skip_binder ( ) {
349- ty:: PredicateKind :: Trait ( pred, _) => Some ( bound_predicate. rebind ( pred) . clean ( cx) ) ,
349+ ty:: PredicateKind :: Trait ( pred, _, _ ) => Some ( bound_predicate. rebind ( pred) . clean ( cx) ) ,
350350 ty:: PredicateKind :: RegionOutlives ( pred) => pred. clean ( cx) ,
351351 ty:: PredicateKind :: TypeOutlives ( pred) => pred. clean ( cx) ,
352352 ty:: PredicateKind :: Projection ( pred) => Some ( pred. clean ( cx) ) ,
@@ -633,7 +633,7 @@ impl<'a, 'tcx> Clean<Generics> for (&'a ty::Generics, ty::GenericPredicates<'tcx
633633 let param_idx = ( || {
634634 let bound_p = p. kind ( ) ;
635635 match bound_p. skip_binder ( ) {
636- ty:: PredicateKind :: Trait ( pred, _constness) => {
636+ ty:: PredicateKind :: Trait ( pred, _constness, _ ) => {
637637 if let ty:: Param ( param) = pred. self_ty ( ) . kind ( ) {
638638 return Some ( param. index ) ;
639639 }
@@ -1566,8 +1566,8 @@ impl<'tcx> Clean<Type> for Ty<'tcx> {
15661566 . filter_map ( |bound| {
15671567 let bound_predicate = bound. kind ( ) ;
15681568 let trait_ref = match bound_predicate. skip_binder ( ) {
1569- ty:: PredicateKind :: Trait ( tr , _constness) => {
1570- bound_predicate. rebind ( tr . trait_ref )
1569+ ty:: PredicateKind :: Trait ( pred , _constness, _ ) => {
1570+ bound_predicate. rebind ( pred . trait_ref )
15711571 }
15721572 ty:: PredicateKind :: TypeOutlives ( ty:: OutlivesPredicate ( _ty, reg) ) => {
15731573 if let Some ( r) = reg. clean ( cx) {
0 commit comments