Remove ty::BrFresh and new_bound

[rust.git] / src / librustc / infer / fudge.rs

diff --git a/src/librustc/infer/fudge.rs b/src/librustc/infer/fudge.rs
index 5f5a2d4a489e361fbfa10bb5c00f31a6614ca2a4..7461d8bc72860ec7ffbe44a23004bf1d0c84095c 100644 (file)
--- a/src/librustc/infer/fudge.rs
+++ b/src/librustc/infer/fudge.rs
@@ -74,7 +74,7 @@ pub fn fudge_inference_if_ok<T, E, F>(
         let (mut fudger, value) = self.probe(|snapshot| {
             match f() {
                 Ok(value) => {
-                    let value = self.resolve_type_vars_if_possible(&value);
+                    let value = self.resolve_vars_if_possible(&value);
 
                     // At this point, `value` could in principle refer
                     // to inference variables that have been created during