diff options
| author | Eduard-Mihai Burtescu <edy.burt@gmail.com> | 2017-05-11 15:05:00 +0300 |
|---|---|---|
| committer | Eduard-Mihai Burtescu <edy.burt@gmail.com> | 2017-05-13 17:42:59 +0300 |
| commit | 2da080e779b4e6f4359c031824c3bdcedad452fd (patch) | |
| tree | 891c3e4d560110edf05dbace4c47d767b13aa06e /src/librustc/traits/util.rs | |
| parent | dbae169ac16de632d21fd3394bc8a939b2524512 (diff) | |
| download | rust-2da080e779b4e6f4359c031824c3bdcedad452fd.tar.gz rust-2da080e779b4e6f4359c031824c3bdcedad452fd.zip | |
rustc: treat ReEarlyBound as free without replacing it with ReFree.
Diffstat (limited to 'src/librustc/traits/util.rs')
| -rw-r--r-- | src/librustc/traits/util.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc/traits/util.rs b/src/librustc/traits/util.rs index 1d10c3a9695..3f5cf7eca53 100644 --- a/src/librustc/traits/util.rs +++ b/src/librustc/traits/util.rs @@ -197,7 +197,7 @@ impl<'cx, 'gcx, 'tcx> Elaborator<'cx, 'gcx, 'tcx> { // I want to be conservative. --nmatsakis let ty_max = data.skip_binder().0; let r_min = data.skip_binder().1; - if r_min.is_bound() { + if r_min.is_late_bound() { return; } @@ -206,7 +206,7 @@ impl<'cx, 'gcx, 'tcx> Elaborator<'cx, 'gcx, 'tcx> { tcx.outlives_components(ty_max) .into_iter() .filter_map(|component| match component { - Component::Region(r) => if r.is_bound() { + Component::Region(r) => if r.is_late_bound() { None } else { Some(ty::Predicate::RegionOutlives( |