mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

librustc: De-@mut RegionVarBindings::skolemization_count

Browse Source
This commit is contained in:
Patrick Walton 2013-12-20 13:15:52 -08:00
parent 9f4cfe2e78
commit 0a0ce8d227
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/librustc/middle/typeck/infer/region_inference/mod.rs
View File

@ -24,7 +24,7 @@ use middle::graph::{Direction, NodeIndex};
use util::common::indenter;
use util::ppaux::{Repr};
use std::cell::RefCell;
use std::cell::{Cell, RefCell};
use std::hashmap::{HashMap, HashSet};
use std::uint;
use std::vec;
@ -92,7 +92,7 @@ pub struct RegionVarBindings {
constraints: RefCell<HashMap<Constraint, SubregionOrigin>>,
lubs: CombineMap,
glbs: CombineMap,
skolemization_count: uint,
skolemization_count: Cell<uint>,
bound_count: uint,
// The undo log records actions that might later be undone.
@ -118,7 +118,7 @@ pub fn RegionVarBindings(tcx: ty::ctxt) -> RegionVarBindings {
constraints: RefCell::new(HashMap::new()),
lubs: HashMap::new(),
glbs: HashMap::new(),
skolemization_count: 0,
skolemization_count: Cell::new(0),
bound_count: 0,
undo_log: ~[]
}
@ -188,8 +188,8 @@ impl RegionVarBindings {
}
pub fn new_skolemized(&mut self, br: ty::BoundRegion) -> Region {
let sc = self.skolemization_count;
self.skolemization_count += 1;
let sc = self.skolemization_count.get();
self.skolemization_count.set(sc + 1);
ReInfer(ReSkolemized(sc, br))
}