.predicates
.iter()
.filter_map(|(pred, _)| {
- if let ty::PredicateKind::Trait(ref pred, _) = pred.kind() {
- if pred.skip_binder().trait_ref.self_ty() == self_ty {
- Some(pred.def_id())
- } else {
- None
- }
+ if let ty::PredicateAtom::Trait(pred, _) = pred.skip_binders() {
+ if pred.trait_ref.self_ty() == self_ty { Some(pred.def_id()) } else { None }
} else {
None
}