Resolve paths to defs (functions currently) during type inference

2 files changed, 19 insertions, 0 deletions

diff --git a/crates/ra_hir/src/ty/tests/data/0003_paths.rs b/crates/ra_hir/src/ty/tests/data/0003_paths.rs
new file mode 100644
index 000000000..e8b11198b
--- /dev/null
+++ b/crates/ra_hir/src/ty/tests/data/0003_paths.rs
@@ -0,0 +1,10 @@
+fn a() -> u32 { 1 }
+
+mod b {
+    fn c() -> u32 { 1 }
+}
+
+fn test() {
+    a();
+    b::c();
+}
diff --git a/crates/ra_hir/src/ty/tests/data/0003_paths.txt b/crates/ra_hir/src/ty/tests/data/0003_paths.txt
new file mode 100644
index 000000000..3a53370a2
--- /dev/null
+++ b/crates/ra_hir/src/ty/tests/data/0003_paths.txt
@@ -0,0 +1,9 @@
+[16; 17) '1': [unknown]
+[14; 19) '{ 1 }': [unknown]
+[47; 52) '{ 1 }': [unknown]
+[49; 50) '1': [unknown]
+[81; 87) 'b::c()': [unknown]
+[66; 90) '{     ...c(); }': ()
+[72; 73) 'a': fn() -> u32
+[72; 75) 'a()': [unknown]
+[81; 85) 'b::c': fn() -> u32