aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/ty.rs')
-rw-r--r--crates/ra_hir/src/ty.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/ra_hir/src/ty.rs b/crates/ra_hir/src/ty.rs
index 55373b05a..c7c063601 100644
--- a/crates/ra_hir/src/ty.rs
+++ b/crates/ra_hir/src/ty.rs
@@ -356,7 +356,7 @@ impl Ty {
356 fn walk_mut(&mut self, f: &mut impl FnMut(&mut Ty)) { 356 fn walk_mut(&mut self, f: &mut impl FnMut(&mut Ty)) {
357 f(self); 357 f(self);
358 match self { 358 match self {
359 Ty::Slice(t) => Arc::make_mut(t).walk_mut(f), 359 Ty::Slice(t) | Ty::Array(t) => Arc::make_mut(t).walk_mut(f),
360 Ty::RawPtr(t, _) => Arc::make_mut(t).walk_mut(f), 360 Ty::RawPtr(t, _) => Arc::make_mut(t).walk_mut(f),
361 Ty::Ref(t, _) => Arc::make_mut(t).walk_mut(f), 361 Ty::Ref(t, _) => Arc::make_mut(t).walk_mut(f),
362 Ty::Tuple(ts) => { 362 Ty::Tuple(ts) => {
@@ -1105,7 +1105,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
1105 } 1105 }
1106 1106
1107 Ty::Tuple(Arc::from(ty_vec)) 1107 Ty::Tuple(Arc::from(ty_vec))
1108 }, 1108 }
1109 Expr::Array { exprs } => { 1109 Expr::Array { exprs } => {
1110 let elem_ty = match &expected.ty { 1110 let elem_ty = match &expected.ty {
1111 Ty::Slice(inner) | Ty::Array(inner) => Ty::clone(&inner), 1111 Ty::Slice(inner) | Ty::Array(inner) => Ty::clone(&inner),
@@ -1117,7 +1117,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
1117 } 1117 }
1118 1118
1119 Ty::Array(Arc::new(elem_ty)) 1119 Ty::Array(Arc::new(elem_ty))
1120 }, 1120 }
1121 Expr::Literal(lit) => match lit { 1121 Expr::Literal(lit) => match lit {
1122 Literal::Bool(..) => Ty::Bool, 1122 Literal::Bool(..) => Ty::Bool,
1123 Literal::String(..) => Ty::Ref(Arc::new(Ty::Str), Mutability::Shared), 1123 Literal::String(..) => Ty::Ref(Arc::new(Ty::Str), Mutability::Shared),