@@ -346,7 +346,7 @@ impl<'a> Clean<Option<WherePredicate>> for ty::Predicate<'a> {
346
346
fn clean ( & self , cx : & mut DocContext < ' _ > ) -> Option < WherePredicate > {
347
347
let bound_predicate = self . kind ( ) ;
348
348
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) ) ,
350
350
ty:: PredicateKind :: RegionOutlives ( pred) => pred. clean ( cx) ,
351
351
ty:: PredicateKind :: TypeOutlives ( pred) => pred. clean ( cx) ,
352
352
ty:: PredicateKind :: Projection ( pred) => Some ( pred. clean ( cx) ) ,
@@ -626,7 +626,7 @@ impl<'a, 'tcx> Clean<Generics> for (&'a ty::Generics, ty::GenericPredicates<'tcx
626
626
let param_idx = ( || {
627
627
let bound_p = p. kind ( ) ;
628
628
match bound_p. skip_binder ( ) {
629
- ty:: PredicateKind :: Trait ( pred, _constness) => {
629
+ ty:: PredicateKind :: Trait ( pred, _constness, _ ) => {
630
630
if let ty:: Param ( param) = pred. self_ty ( ) . kind ( ) {
631
631
return Some ( param. index ) ;
632
632
}
@@ -1559,8 +1559,8 @@ impl<'tcx> Clean<Type> for Ty<'tcx> {
1559
1559
. filter_map ( |bound| {
1560
1560
let bound_predicate = bound. kind ( ) ;
1561
1561
let trait_ref = match bound_predicate. skip_binder ( ) {
1562
- ty:: PredicateKind :: Trait ( tr , _constness) => {
1563
- bound_predicate. rebind ( tr . trait_ref )
1562
+ ty:: PredicateKind :: Trait ( pred , _constness, _ ) => {
1563
+ bound_predicate. rebind ( pred . trait_ref )
1564
1564
}
1565
1565
ty:: PredicateKind :: TypeOutlives ( ty:: OutlivesPredicate ( _ty, reg) ) => {
1566
1566
if let Some ( r) = reg. clean ( cx) {
0 commit comments