From f353625705854877a8347c3a46f15e294a9338e4 Mon Sep 17 00:00:00 2001 From: Josh Mcguigan Date: Sun, 1 Mar 2020 06:25:38 -0800 Subject: match single prefix slice --- crates/ra_hir_ty/src/infer/pat.rs | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) (limited to 'crates/ra_hir_ty/src/infer/pat.rs') 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; use test_utils::tested_by; use super::{BindingMode, InferenceContext}; -use crate::{db::HirDatabase, utils::variant_data, Substs, Ty, TypeCtor}; +use crate::{db::HirDatabase, utils::variant_data, Substs, Ty, TypeCtor, ApplicationTy}; impl<'a, D: HirDatabase> InferenceContext<'a, D> { fn infer_tuple_struct_pat( @@ -185,6 +185,20 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { self.write_pat_ty(pat, bound_ty); return inner_ty; } + Pat::Slice { prefix, slice, suffix } => { + if let Ty::Apply(ApplicationTy { ctor: TypeCtor::Slice, parameters }) = expected { + match (prefix.as_slice(), slice, suffix.as_slice()) { + ([prefix_pat_id], None, []) => { + let ty = self.infer_pat(*prefix_pat_id, ¶meters.0[0], default_bm); + + Ty::apply_one(TypeCtor::Slice, ty) + }, + _ => Ty::Unknown, + } + } else { + Ty::Unknown + } + } _ => Ty::Unknown, }; // use a new type variable if we got Ty::Unknown here -- cgit v1.2.3