1
Fork 0

remove hack in region inference

I forgot about it in the previous commit
This commit is contained in:
Ariel Ben-Yehuda 2015-12-28 01:20:35 +02:00
parent efc45758fd
commit c00b5dc70a

View file

@ -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(..)) |