Remove ty::BrFresh and new_bound

[rust.git] / src / librustc / infer / lub.rs

diff --git a/src/librustc/infer/lub.rs b/src/librustc/infer/lub.rs
index f9eb60d82d17b5c38d6aa61e5514dc4f8c0b65a7..29b319ef8f5ff5ed8086cdb3fa6e129f8a27db36 100644 (file)
--- a/src/librustc/infer/lub.rs
+++ b/src/librustc/infer/lub.rs
@@ -60,6 +60,19 @@ fn regions(&mut self, a: ty::Region<'tcx>, b: ty::Region<'tcx>)
         Ok(self.fields.infcx.borrow_region_constraints().lub_regions(self.tcx(), origin, a, b))
     }
 
+    fn consts(
+        &mut self,
+        a: &'tcx ty::Const<'tcx>,
+        b: &'tcx ty::Const<'tcx>,
+    ) -> RelateResult<'tcx, &'tcx ty::Const<'tcx>> {
+        debug!("{}.consts({:?}, {:?})", self.tag(), a, b);
+        if a == b {
+            return Ok(a);
+        }
+
+        self.fields.infcx.super_combine_consts(self, a, b)
+    }
+
     fn binders<T>(&mut self, a: &ty::Binder<T>, b: &ty::Binder<T>)
                   -> RelateResult<'tcx, ty::Binder<T>>
         where T: Relate<'tcx>