Merge #446

446: Use HIR Expr for type inference r=flodiebold a=flodiebold

Now we can reuse the type inference inside a function when typing whitespace etc. :)

The order of the lines in the type tests changed a bit, which I'm not sure why, but there are no actual changes in the inference results.

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

1 files changed, 7 insertions, 0 deletions

diff --git a/crates/ra_hir/src/ty/tests/data/let.txt b/crates/ra_hir/src/ty/tests/data/let.txt
new file mode 100644
index 000000000..30f4a2cf5
--- /dev/null
+++ b/crates/ra_hir/src/ty/tests/data/let.txt
@@ -0,0 +1,7 @@
+[11; 71) '{     ...= b; }': ()
+[21; 22) 'a': [unknown]
+[25; 31) '1isize': [unknown]
+[41; 42) 'b': usize
+[52; 53) '1': usize
+[63; 64) 'c': usize
+[67; 68) 'b': usize