Merge #1117

1117: [WIP] Tuple struct index inference r=matklad a=robojumper

The first commit adds a helper struct `ast::FieldKind` to facilitate inference.

The second commit adds a slightly modified test from #1109 while mentioning that there is a problem with how we're handling tuple indexing / floats.

cc #1109 

Co-authored-by: robojumper <[email protected]>

2 files changed, 38 insertions, 0 deletions

diff --git a/crates/ra_ide_api/src/completion/complete_dot.rs b/crates/ra_ide_api/src/completion/complete_dot.rs
index f54a02d1d..18b2d68d5 100644
--- a/crates/ra_ide_api/src/completion/complete_dot.rs
+++ b/crates/ra_ide_api/src/completion/complete_dot.rs
@@ -184,4 +184,26 @@ mod tests {
             ",
         );
     }
+
+    #[test]
+    fn test_tuple_field_inference() {
+        check_ref_completion(
+            "tuple_field_inference",
+            r"
+            pub struct S;
+            impl S {
+                pub fn blah(&self) {}
+            }
+
+            struct T(S);
+
+            impl T {
+                fn foo(&self) {
+                    // FIXME: This doesn't work without the trailing `a` as `0.` is a float
+                    self.0.a<|>
+                }
+            }
+            ",
+        );
+    }
 }
diff --git a/crates/ra_ide_api/src/completion/snapshots/completion_item__tuple_field_inference.snap b/crates/ra_ide_api/src/completion/snapshots/completion_item__tuple_field_inference.snap
new file mode 100644
index 000000000..72c8973b8
--- /dev/null
+++ b/crates/ra_ide_api/src/completion/snapshots/completion_item__tuple_field_inference.snap
@@ -0,0 +1,16 @@
+---
+created: "2019-04-05T23:00:18.283812700Z"
+creator: [email protected]
+source: crates/ra_ide_api/src/completion/completion_item.rs
+expression: kind_completions
+---
+[
+    CompletionItem {
+        label: "blah",
+        source_range: [299; 300),
+        delete: [299; 300),
+        insert: "blah()$0",
+        kind: Method,
+        detail: "pub fn blah(&self)"
+    }
+]