---

yaml
---
r: 164618
b: refs/heads/auto
c: ed4952e
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -10,7 +10,7 @@ refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
 refs/tags/release-0.3.1: 495bae036dfe5ec6ceafd3312b4dca48741e845b
 refs/tags/release-0.4: e828ea2080499553b97dfe33b3f4d472b4562ad7
 refs/tags/release-0.5: 7e3bcfbf21278251ee936ad53e92e9b719702d73
-refs/heads/auto: 416e62924e200eb75dff4b7d622b5aa7ea8b691a
+refs/heads/auto: ed4952ef392952dc4a7d0241386daf575dea5d6e
 refs/heads/servo: af82457af293e2a842ba6b7759b70288da276167
 refs/tags/release-0.6: b4ebcfa1812664df5e142f0134a5faea3918544c
 refs/tags/0.1: b19db808c2793fe2976759b85a355c3ad8c8b336

branches/auto/src/librustc/middle/infer/mod.rs

@@ -90,6 +90,10 @@ pub struct InferCtxt<'a, 'tcx: 'a> {
         RegionVarBindings<'a, 'tcx>,
 }
 
+/// A map returned by `skolemize_bound_regions()` indicating the skolemized
+/// region that each late-bound region was replaced with.
+pub type SkolemizationMap = FnvHashMap<ty::BoundRegion,ty::Region>;
+
 /// Why did we require that the two types be related?
 ///
 /// See `error_reporting.rs` for more details
@@ -698,9 +702,25 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
             self.sub(a_is_expected, trace).poly_trait_refs(&*a, &*b).to_ures()
         })
     }
-}
 
-impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
+    pub fn skolemize_bound_regions<T>(&self,
+                                      value: &ty::Binder<T>,
+                                      snapshot: &CombinedSnapshot)
+                                      -> (T, SkolemizationMap)
+        where T : TypeFoldable<'tcx>
+    {
+        let (result_binder, map) = replace_late_bound_regions(self.tcx, value, |br, _| {
+            self.region_vars.new_skolemized(br, &snapshot.region_vars_snapshot)
+        });
+
+        debug!("skolemize_bound_regions(value={}, result={}, map={})",
+               value.repr(self.tcx),
+               result_binder.value.repr(self.tcx),
+               map.repr(self.tcx));
+
+        (result_binder.value, map)
+    }
+
     pub fn next_ty_var_id(&self, diverging: bool) -> TyVid {
         self.type_variables
             .borrow_mut()