diff options
author | Hirokazu Hata <[email protected]> | 2019-01-16 15:08:53 +0000 |
---|---|---|
committer | Hirokazu Hata <[email protected]> | 2019-01-16 15:08:53 +0000 |
commit | 0aedd4fb2f28ec24902d26c7d8a24d6146263d2f (patch) | |
tree | e67129e4e514e140463d8f0f7bd7556793cac484 /crates/ra_hir/src/ty.rs | |
parent | f66ca1bd2e0e5e198f60d0b0b6e2d953c81b0645 (diff) |
Add Ty::Array to walk_mut
Diffstat (limited to 'crates/ra_hir/src/ty.rs')
-rw-r--r-- | crates/ra_hir/src/ty.rs | 6 |
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), |