diff options
Diffstat (limited to 'crates/ra_hir_ty/src/infer/pat.rs')
-rw-r--r-- | crates/ra_hir_ty/src/infer/pat.rs | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/infer/pat.rs b/crates/ra_hir_ty/src/infer/pat.rs index bf8ea192b..b991720ff 100644 --- a/crates/ra_hir_ty/src/infer/pat.rs +++ b/crates/ra_hir_ty/src/infer/pat.rs | |||
@@ -12,7 +12,7 @@ use hir_expand::name::Name; | |||
12 | use test_utils::tested_by; | 12 | use test_utils::tested_by; |
13 | 13 | ||
14 | use super::{BindingMode, InferenceContext}; | 14 | use super::{BindingMode, InferenceContext}; |
15 | use crate::{db::HirDatabase, utils::variant_data, Substs, Ty, TypeCtor}; | 15 | use crate::{db::HirDatabase, utils::variant_data, Substs, Ty, TypeCtor, ApplicationTy}; |
16 | 16 | ||
17 | impl<'a, D: HirDatabase> InferenceContext<'a, D> { | 17 | impl<'a, D: HirDatabase> InferenceContext<'a, D> { |
18 | fn infer_tuple_struct_pat( | 18 | fn infer_tuple_struct_pat( |
@@ -185,6 +185,20 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
185 | self.write_pat_ty(pat, bound_ty); | 185 | self.write_pat_ty(pat, bound_ty); |
186 | return inner_ty; | 186 | return inner_ty; |
187 | } | 187 | } |
188 | Pat::Slice { prefix, slice, suffix } => { | ||
189 | if let Ty::Apply(ApplicationTy { ctor: TypeCtor::Slice, parameters }) = expected { | ||
190 | match (prefix.as_slice(), slice, suffix.as_slice()) { | ||
191 | ([prefix_pat_id], None, []) => { | ||
192 | let ty = self.infer_pat(*prefix_pat_id, ¶meters.0[0], default_bm); | ||
193 | |||
194 | Ty::apply_one(TypeCtor::Slice, ty) | ||
195 | }, | ||
196 | _ => Ty::Unknown, | ||
197 | } | ||
198 | } else { | ||
199 | Ty::Unknown | ||
200 | } | ||
201 | } | ||
188 | _ => Ty::Unknown, | 202 | _ => Ty::Unknown, |
189 | }; | 203 | }; |
190 | // use a new type variable if we got Ty::Unknown here | 204 | // use a new type variable if we got Ty::Unknown here |