---

yaml
---
r: 88959
b: refs/heads/snap-stage3
c: b84f294
h: refs/heads/master
i:
  88957: 374ee86
  88955: 352f92e
  88951: e98fd1d
  88943: ca3d1fb
  88927: cd490c2
  88895: 7739a64
  88831: b60752b
v: v3

Author: pcwalton

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: deeca5d586bfaa4aa60246f671a8d611d38f6248
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: bdfd0b5ae081240697fb087f59c42ab9ba070bef
+refs/heads/snap-stage3: b84f294c4672018e237e8196eef59bb668b805f2
 refs/heads/try: b160761e35efcd1207112b3b782c06633cf441a8
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/src/librustc/middle/typeck/infer/region_inference/mod.rs

@@ -90,8 +90,8 @@ pub struct RegionVarBindings {
     tcx: ty::ctxt,
     var_origins: ~[RegionVariableOrigin],
     constraints: RefCell<HashMap<Constraint, SubregionOrigin>>,
-    lubs: CombineMap,
-    glbs: CombineMap,
+    lubs: RefCell<CombineMap>,
+    glbs: RefCell<CombineMap>,
     skolemization_count: Cell<uint>,
     bound_count: Cell<uint>,
 
@@ -116,8 +116,8 @@ pub fn RegionVarBindings(tcx: ty::ctxt) -> RegionVarBindings {
         var_origins: ~[],
         values: None,
         constraints: RefCell::new(HashMap::new()),
-        lubs: HashMap::new(),
-        glbs: HashMap::new(),
+        lubs: RefCell::new(HashMap::new()),
+        glbs: RefCell::new(HashMap::new()),
         skolemization_count: Cell::new(0),
         bound_count: Cell::new(0),
         undo_log: ~[]
@@ -162,10 +162,12 @@ impl RegionVarBindings {
                 constraints.get().remove(constraint);
               }
               AddCombination(Glb, ref regions) => {
-                self.glbs.remove(regions);
+                let mut glbs = self.glbs.borrow_mut();
+                glbs.get().remove(regions);
               }
               AddCombination(Lub, ref regions) => {
-                self.lubs.remove(regions);
+                let mut lubs = self.lubs.borrow_mut();
+                lubs.get().remove(regions);
               }
             }
         }
@@ -345,10 +347,8 @@ impl RegionVarBindings {
         }
     }
 
-    fn combine_map<'a>(&'a mut self,
-                       t: CombineMapType)
-                       -> &'a mut CombineMap
-    {
+    fn combine_map<'a>(&'a mut self, t: CombineMapType)
+                   -> &'a mut RefCell<CombineMap> {
         match t {
             Glb => &mut self.glbs,
             Lub => &mut self.lubs,
@@ -365,14 +365,20 @@ impl RegionVarBindings {
                                  new_r: Region|)
                         -> Region {
         let vars = TwoRegions { a: a, b: b };
-        match self.combine_map(t).find(&vars) {
-            Some(&c) => {
-                return ReInfer(ReVar(c));
+        {
+            let map = self.combine_map(t).borrow();
+            match map.get().find(&vars) {
+                Some(&c) => {
+                    return ReInfer(ReVar(c));
+                }
+                None => {}
             }
-            None => {}
         }
         let c = self.new_region_var(infer::MiscVariable(origin.span()));
-        self.combine_map(t).insert(vars, c);
+        {
+            let mut map = self.combine_map(t).borrow_mut();
+            map.get().insert(vars, c);
+        }
         if self.in_snapshot() {
             self.undo_log.push(AddCombination(t, vars));
         }