---

yaml
---
r: 97005
b: refs/heads/dist-snap
c: 7f5e57a
h: refs/heads/master
i:
  97003: 2fb851f
v: v3

Author: pcwalton

[refs]

@@ -6,7 +6,7 @@ refs/heads/try: c274a6888410ce3e357e014568b43310ed787d36
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: 147ecfdd8221e4a4d4e090486829a06da1e0ca3c
-refs/heads/dist-snap: 84e450347b00ca9a06b3f763fdebff8257e210e8
+refs/heads/dist-snap: 7f5e57a5a93a868b5bd9485b9c9d45e997a78e41
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
 refs/heads/try3: 9387340aab40a73e8424c48fd42f0c521a4875c0

branches/dist-snap/src/librustc/middle/ty.rs

@@ -317,7 +317,7 @@ struct ctxt_ {
     lang_items: middle::lang_items::LanguageItems,
     // A mapping of fake provided method def_ids to the default implementation
     provided_method_sources: RefCell<HashMap<ast::DefId, ast::DefId>>,
-    supertraits: @mut HashMap<ast::DefId, @~[@TraitRef]>,
+    supertraits: RefCell<HashMap<ast::DefId, @~[@TraitRef]>>,
 
     // Maps from def-id of a type or region parameter to its
     // (inferred) variance.
@@ -1006,7 +1006,7 @@ pub fn mk_ctxt(s: session::Session,
         normalized_cache: new_ty_hash(),
         lang_items: lang_items,
         provided_method_sources: RefCell::new(HashMap::new()),
-        supertraits: @mut HashMap::new(),
+        supertraits: RefCell::new(HashMap::new()),
         destructor_for_type: @mut HashMap::new(),
         destructors: @mut HashSet::new(),
         trait_impls: @mut HashMap::new(),
@@ -3552,13 +3552,14 @@ pub fn provided_trait_methods(cx: ctxt, id: ast::DefId) -> ~[@Method] {
     }
 }
 
-pub fn trait_supertraits(cx: ctxt,
-                         id: ast::DefId) -> @~[@TraitRef]
-{
+pub fn trait_supertraits(cx: ctxt, id: ast::DefId) -> @~[@TraitRef] {
     // Check the cache.
-    match cx.supertraits.find(&id) {
-        Some(&trait_refs) => { return trait_refs; }
-        None => {}  // Continue.
+    {
+        let supertraits = cx.supertraits.borrow();
+        match supertraits.get().find(&id) {
+            Some(&trait_refs) => { return trait_refs; }
+            None => {}  // Continue.
+        }
     }
 
     // Not in the cache. It had better be in the metadata, which means it
@@ -3568,7 +3569,8 @@ pub fn trait_supertraits(cx: ctxt,
     // Get the supertraits out of the metadata and create the
     // TraitRef for each.
     let result = @csearch::get_supertraits(cx, id);
-    cx.supertraits.insert(id, result);
+    let mut supertraits = cx.supertraits.borrow_mut();
+    supertraits.get().insert(id, result);
     return result;
 }
 

branches/dist-snap/src/librustc/middle/typeck/collect.rs

@@ -401,7 +401,10 @@ pub fn ensure_supertraits(ccx: &CrateCtxt,
 
     // Called only the first time trait_def_of_item is called.
     // Supertraits are ensured at the same time.
-    assert!(!tcx.supertraits.contains_key(&local_def(id)));
+    {
+        let supertraits = tcx.supertraits.borrow();
+        assert!(!supertraits.get().contains_key(&local_def(id)));
+    }
 
     let self_ty = ty::mk_self(ccx.tcx, local_def(id));
     let mut ty_trait_refs: ~[@ty::TraitRef] = ~[];
@@ -425,7 +428,9 @@ pub fn ensure_supertraits(ccx: &CrateCtxt,
             }
         }
     }
-    tcx.supertraits.insert(local_def(id), @ty_trait_refs);
+
+    let mut supertraits = tcx.supertraits.borrow_mut();
+    supertraits.get().insert(local_def(id), @ty_trait_refs);
     bounds
 }