.predicates
.into_iter()
.flat_map(|(pred, _)| {
- pred.subst_supertrait(self.tcx, &trait_ref).to_opt_poly_trait_ref()
+ pred.subst_supertrait(self.tcx, &trait_ref).to_opt_poly_trait_pred()
})
- .map(|t| t.value)
+ .map(|t| t.map_bound(|pred| pred.trait_ref))
.filter(|supertrait_ref| self.visited.insert(*supertrait_ref));
self.stack.extend(supertrait_refs);