// This works fairly well because trait matching does not actually care about param-env
// TypeOutlives predicates - these are normally used by regionck.
let outlives_predicates: Vec<_> = predicates
- .drain_filter(|predicate| match predicate.kind() {
- ty::PredicateKind::TypeOutlives(..) => true,
+ .drain_filter(|predicate| match predicate.skip_binders() {
+ ty::PredicateAtom::TypeOutlives(..) => true,
_ => false,
})
.collect();