Merge #332

332: Struct types r=matklad a=flodiebold

Infer types for struct fields, and add basic field completions. There's also some code for enums, but I focused on getting structs working.

There's still ways to go before this becomes useful: There's no autoderef (or even reference types) and no inference for `self`, for example.

Co-authored-by: Florian Diebold <[email protected]>

1 files changed, 16 insertions, 0 deletions

diff --git a/crates/ra_hir/src/ty/tests/data/0004_struct.txt b/crates/ra_hir/src/ty/tests/data/0004_struct.txt
new file mode 100644
index 000000000..cc8f3665b
--- /dev/null
+++ b/crates/ra_hir/src/ty/tests/data/0004_struct.txt
@@ -0,0 +1,16 @@
+[86; 90) 'C(1)': [unknown]
+[121; 122) 'B': [unknown]
+[86; 87) 'C': [unknown]
+[129; 130) '1': [unknown]
+[107; 108) 'a': A
+[127; 128) 'C': [unknown]
+[139; 142) 'a.b': B
+[114; 133) 'A { b:...C(1) }': A
+[148; 151) 'a.c': C
+[148; 149) 'a': A
+[139; 140) 'a': A
+[72; 154) '{     ...a.c; }': ()
+[96; 97) 'B': [unknown]
+[88; 89) '1': [unknown]
+[82; 83) 'c': [unknown]
+[127; 131) 'C(1)': [unknown]