5 files changed, 13 insertions, 7 deletions

diff --git a/crates/ra_cli/Cargo.toml b/crates/ra_cli/Cargo.toml
index 67e727a88..fcd102e8b 100644
--- a/crates/ra_cli/Cargo.toml
+++ b/crates/ra_cli/Cargo.toml
@@ -8,7 +8,7 @@ publish = false
 [dependencies]
 pico-args = "0.3.0"
 flexi_logger = "0.14.0"
-indicatif = "0.11.0"
+indicatif = "0.12.0"
 
 ra_syntax = { path = "../ra_syntax" }
 ra_ide_api = { path = "../ra_ide_api" }
diff --git a/crates/ra_hir/Cargo.toml b/crates/ra_hir/Cargo.toml
index cc117f84d..7820a12e9 100644
--- a/crates/ra_hir/Cargo.toml
+++ b/crates/ra_hir/Cargo.toml
@@ -5,7 +5,7 @@ version = "0.1.0"
 authors = ["rust-analyzer developers"]
 
 [dependencies]
-arrayvec = "0.4.10"
+arrayvec = "0.5.1"
 log = "0.4.5"
 relative-path = "0.4.0"
 rustc-hash = "1.0"
diff --git a/crates/ra_hir/src/ty/infer.rs b/crates/ra_hir/src/ty/infer.rs
index cb28fc6bc..ebaff998e 100644
--- a/crates/ra_hir/src/ty/infer.rs
+++ b/crates/ra_hir/src/ty/infer.rs
@@ -414,7 +414,9 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
                     // recursive type
                     return tv.fallback_value();
                 }
-                if let Some(known_ty) = self.var_unification_table.probe_value(inner).known() {
+                if let Some(known_ty) =
+                    self.var_unification_table.inlined_probe_value(inner).known()
+                {
                     // known_ty may contain other variables that are known by now
                     tv_stack.push(inner);
                     let result = self.resolve_ty_as_possible(tv_stack, known_ty.clone());
@@ -442,7 +444,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
             match &*ty {
                 Ty::Infer(tv) => {
                     let inner = tv.to_inner();
-                    match self.var_unification_table.probe_value(inner).known() {
+                    match self.var_unification_table.inlined_probe_value(inner).known() {
                         Some(known_ty) => {
                             // The known_ty can't be a type var itself
                             ty = Cow::Owned(known_ty.clone());
@@ -490,7 +492,9 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
                     // recursive type
                     return tv.fallback_value();
                 }
-                if let Some(known_ty) = self.var_unification_table.probe_value(inner).known() {
+                if let Some(known_ty) =
+                    self.var_unification_table.inlined_probe_value(inner).known()
+                {
                     // known_ty may contain other variables that are known by now
                     tv_stack.push(inner);
                     let result = self.resolve_ty_completely(tv_stack, known_ty.clone());
diff --git a/crates/ra_hir/src/ty/infer/unify.rs b/crates/ra_hir/src/ty/infer/unify.rs
index 014c7981f..ca33cc7f8 100644
--- a/crates/ra_hir/src/ty/infer/unify.rs
+++ b/crates/ra_hir/src/ty/infer/unify.rs
@@ -54,7 +54,9 @@ where
                     // recursive type
                     return tv.fallback_value();
                 }
-                if let Some(known_ty) = self.ctx.var_unification_table.probe_value(inner).known() {
+                if let Some(known_ty) =
+                    self.ctx.var_unification_table.inlined_probe_value(inner).known()
+                {
                     self.var_stack.push(inner);
                     let result = self.do_canonicalize_ty(known_ty.clone());
                     self.var_stack.pop();
diff --git a/crates/ra_syntax/Cargo.toml b/crates/ra_syntax/Cargo.toml
index 68c594202..9c0e856e8 100644
--- a/crates/ra_syntax/Cargo.toml
+++ b/crates/ra_syntax/Cargo.toml
@@ -12,7 +12,7 @@ itertools = "0.8.0"
 rowan = "0.6.1"
 rustc_lexer = "0.1.0"
 rustc-hash = "1.0.1"
-arrayvec = "0.4.10"
+arrayvec = "0.5.1"
 once_cell = "1.2.0"
 
 # This crate transitively depends on `smol_str` via `rowan`.