Don't mutate the inference context when assembling

soltanmm-google · soltanmm-google · commit ec7c483d679b · 2016-05-11T14:56:52.000-07:00
diff --git a/src/librustc/traits/select.rs b/src/librustc/traits/select.rs
@@ -1463,7 +1463,7 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
             return;
         }
 
-        self.infcx.in_snapshot(|snapshot| {
+        self.infcx.probe(|snapshot| {
             let (self_ty, _) =
                 self.infcx().skolemize_late_bound_regions(&obligation.self_ty(), snapshot);
             let poly_trait_ref = match self_ty.sty {

Original file line number	Diff line number	Diff line change
`@@ -1463,7 +1463,7 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {`
`1463`	`1463`	`return;`
`1464`	`1464`	`}`
`1465`	`1465`
`1466`		`- self.infcx.in_snapshot(\|snapshot\| {`
	`1466`	`+ self.infcx.probe(\|snapshot\| {`
`1467`	`1467`	`let (self_ty, _) =`
`1468`	`1468`	`self.infcx().skolemize_late_bound_regions(&obligation.self_ty(), snapshot);`
`1469`	`1469`	`let poly_trait_ref = match self_ty.sty {`