From d2769837f1f9c94b977bd6022090f8e5cd02410c Mon Sep 17 00:00:00 2001
From: Marcus Klaas de Vries <mail@marcusklaas.nl>
Date: Fri, 18 Jan 2019 14:12:42 +0100
Subject: Move pattern type inference from adt::StructField to core_model_impl
 (WIP)

---
 crates/ra_hir/src/lib.rs |  1 +
 crates/ra_hir/src/ty.rs  | 31 +++++++++++++++----------------
 2 files changed, 16 insertions(+), 16 deletions(-)

(limited to 'crates/ra_hir/src')

diff --git a/crates/ra_hir/src/lib.rs b/crates/ra_hir/src/lib.rs
index 75b9c6b43..f1402a286 100644
--- a/crates/ra_hir/src/lib.rs
+++ b/crates/ra_hir/src/lib.rs
@@ -51,6 +51,7 @@ pub use self::code_model_api::{
     Module, ModuleSource, Problem,
     Struct, Enum, EnumVariant,
     Function, FnSignature, ScopeEntryWithSyntax,
+    StructField,
     Static, Const,
     Trait, Type,
 };
diff --git a/crates/ra_hir/src/ty.rs b/crates/ra_hir/src/ty.rs
index 09b816cc7..ac0568a32 100644
--- a/crates/ra_hir/src/ty.rs
+++ b/crates/ra_hir/src/ty.rs
@@ -31,9 +31,8 @@ use join_to_string::join;
 use rustc_hash::FxHashMap;
 
 use crate::{
-    Def, DefId, Module, Function, Struct, Enum, EnumVariant, Path, Name, ImplBlock,
+    Def, DefId, Module, Function, Struct, StructField, Enum, EnumVariant, Path, Name, ImplBlock,
     FnSignature, FnScopes,
-    adt::StructField,
     db::HirDatabase,
     type_ref::{TypeRef, Mutability},
     name::KnownName,
@@ -873,24 +872,22 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
         }
     }
 
+    // TODO: add fields method for tuple like structs and variants
+    // TODO: and add tests!
+
     fn resolve_fields(&self, path: Option<&Path>) -> Option<(Ty, Vec<StructField>)> {
         let def_id = self.module.resolve_path(self.db, path?).take_types()?;
         let def = def_id.resolve(self.db);
 
         match def {
             Def::Struct(s) => {
-                let fields: Vec<_> = self
-                    .db
-                    .struct_data(s.def_id())
-                    .variant_data
-                    .fields()
-                    .to_owned();
+                let fields: Vec<_> = s.fields(self.db);
                 Some((type_for_struct(self.db, s), fields))
             }
-            Def::EnumVariant(ev) => {
-                let fields: Vec<_> = ev.variant_data(self.db).fields().to_owned();
-                Some((type_for_enum_variant(self.db, ev), fields))
-            }
+            // Def::EnumVariant(ev) => {
+            //     let fields: Vec<_> = ev.variant_data(self.db).fields().to_owned();
+            //     Some((type_for_enum_variant(self.db, ev), fields))
+            // }
             _ => None,
         }
     }
@@ -903,7 +900,8 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
         for (i, &subpat) in subpats.iter().enumerate() {
             let expected_ty = fields
                 .get(i)
-                .map_or(Ty::Unknown, |field| self.make_ty(&field.type_ref));
+                .and_then(|field| field.ty(self.db))
+                .unwrap_or(Ty::Unknown);
             self.infer_pat(subpat, &Expectation::has_type(expected_ty));
         }
 
@@ -916,9 +914,10 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
             .unwrap_or((Ty::Unknown, Vec::new()));
 
         for subpat in subpats {
-            let matching_field = fields.iter().find(|field| field.name == subpat.name);
-            let expected_ty =
-                matching_field.map_or(Ty::Unknown, |field| self.make_ty(&field.type_ref));
+            let matching_field = fields.iter().find(|field| field.name() == &subpat.name);
+            let expected_ty = matching_field
+                .and_then(|field| field.ty(self.db))
+                .unwrap_or(Ty::Unknown);
             self.infer_pat(subpat.pat, &Expectation::has_type(expected_ty));
         }
 
-- 
cgit v1.2.3