bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Use no_bound_vars

Browse source
This commit is contained in:
Jack Huey 2021-01-06 16:12:02 -05:00
parent 476bd53058
commit 66c179946b
1 changed files with 4 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_traits/src/implied_outlives_bounds.rs
View file

@ -94,11 +94,9 @@ fn compute_implied_outlives_bounds<'tcx>(
// region relationships.
implied_bounds.extend(obligations.into_iter().flat_map(|obligation| {
assert!(!obligation.has_escaping_bound_vars());
let binder = obligation.predicate.bound_atom();
if binder.skip_binder().has_escaping_bound_vars() {
vec![]
} else {
match binder.skip_binder() {
match obligation.predicate.bound_atom().no_bound_vars() {
None => vec![],
Some(pred) => match pred {
ty::PredicateAtom::Trait(..)
| ty::PredicateAtom::Subtype(..)
| ty::PredicateAtom::Projection(..)
@ -122,7 +120,7 @@ fn compute_implied_outlives_bounds<'tcx>(
tcx.push_outlives_components(ty_a, &mut components);
implied_bounds_from_components(r_b, components)
}
}
},
}
}));
}