Complete field replacing

1 files changed, 7 insertions, 2 deletions

diff --git a/crates/hir_ty/src/diagnostics/pattern/deconstruct_pat.rs b/crates/hir_ty/src/diagnostics/pattern/deconstruct_pat.rs
index 393d99997..d3513c406 100644
--- a/crates/hir_ty/src/diagnostics/pattern/deconstruct_pat.rs
+++ b/crates/hir_ty/src/diagnostics/pattern/deconstruct_pat.rs
@@ -811,8 +811,13 @@ impl Fields {
         pats: impl IntoIterator<Item = Pat>,
     ) -> Self {
         let pats = {
-            let mut arena = cx.pattern_arena.borrow_mut();
-            pats.into_iter().map(move |pat| /* arena.alloc(pat) */ todo!()).collect()
+            let tys: SmallVec<[Ty; 2]> = match self {
+                Fields::Vec(pats) => pats.iter().copied().map(|pat| cx.type_of(pat)).collect(),
+            };
+            pats.into_iter()
+                .zip(tys.into_iter())
+                .map(move |(pat, ty)| cx.alloc_pat(pat, &ty))
+                .collect()
         };
 
         match self {