diff options
| author | Ariel Ben-Yehuda <arielb1@mail.tau.ac.il> | 2015-12-28 01:20:35 +0200 |
|---|---|---|
| committer | Ariel Ben-Yehuda <arielb1@mail.tau.ac.il> | 2015-12-28 01:21:25 +0200 |
| commit | c00b5dc70a3b01825c3bd0a102e3cd67e5a8debf (patch) | |
| tree | 1c62fae783f5eebfcf1f9e9bb4e87b483ccc1852 | |
| parent | efc45758fd2a7ce4ac56d6d89ced8634e1dcfaea (diff) | |
| download | rust-c00b5dc70a3b01825c3bd0a102e3cd67e5a8debf.tar.gz rust-c00b5dc70a3b01825c3bd0a102e3cd67e5a8debf.zip | |
remove hack in region inference
I forgot about it in the previous commit
| -rw-r--r-- | src/librustc/middle/infer/region_inference/mod.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/librustc/middle/infer/region_inference/mod.rs b/src/librustc/middle/infer/region_inference/mod.rs index a63c662de61..2c2b69ff85b 100644 --- a/src/librustc/middle/infer/region_inference/mod.rs +++ b/src/librustc/middle/infer/region_inference/mod.rs @@ -489,13 +489,6 @@ impl<'a, 'tcx> RegionVarBindings<'a, 'tcx> { origin); match (sub, sup) { - (ReEarlyBound(..), ReEarlyBound(..)) => { - // This case is used only to make sure that explicitly-specified - // `Self` types match the real self type in implementations. - // - // FIXME(NDM) -- we really shouldn't be comparing bound things - self.add_verify(VerifyRegSubReg(origin, sub, sup)); - } (ReEarlyBound(..), _) | (ReLateBound(..), _) | (_, ReEarlyBound(..)) | |