@@ -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) ) ,
@@ -633,7 +633,7 @@ impl<'a, 'tcx> Clean<Generics> for (&'a ty::Generics, ty::GenericPredicates<'tcx
633
633
let param_idx = ( || {
634
634
let bound_p = p. kind ( ) ;
635
635
match bound_p. skip_binder ( ) {
636
- ty:: PredicateKind :: Trait ( pred, _constness) => {
636
+ ty:: PredicateKind :: Trait ( pred, _constness, _ ) => {
637
637
if let ty:: Param ( param) = pred. self_ty ( ) . kind ( ) {
638
638
return Some ( param. index ) ;
639
639
}
@@ -1566,8 +1566,8 @@ impl<'tcx> Clean<Type> for Ty<'tcx> {
1566
1566
. filter_map ( |bound| {
1567
1567
let bound_predicate = bound. kind ( ) ;
1568
1568
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 )
1571
1571
}
1572
1572
ty:: PredicateKind :: TypeOutlives ( ty:: OutlivesPredicate ( _ty, reg) ) => {
1573
1573
if let Some ( r) = reg. clean ( cx) {
0 commit comments