Merge #917

917: Trait tests r=flodiebold a=flodiebold

This adds a bunch of basic tests for trait functionality, just to outline what seems like the first goals for that ;)

It also changes the display of `Ty::Unknown` to `{unknown}`, since `[unknown]` could be confused with a slice, and fixes an error in the emacs runnables code.

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

1 files changed, 0 insertions, 27 deletions

diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap
deleted file mode 100644
index f5840a934..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap
+++ /dev/null
@@ -1,27 +0,0 @@
----
-created: "2019-01-26T17:46:03.842478456+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[14; 15) 'x': u32
-[22; 24) '{}': ()
-[78; 231) '{     ...t &c }': &mut &f64
-[88; 89) 'a': u32
-[92; 108) 'unknow...nction': [unknown]
-[92; 110) 'unknow...tion()': u32
-[116; 125) 'takes_u32': fn takes_u32(u32) -> ()
-[116; 128) 'takes_u32(a)': ()
-[126; 127) 'a': u32
-[138; 139) 'b': i32
-[142; 158) 'unknow...nction': [unknown]
-[142; 160) 'unknow...tion()': i32
-[166; 184) 'S { i3...d: b }': S
-[181; 182) 'b': i32
-[194; 195) 'c': f64
-[198; 214) 'unknow...nction': [unknown]
-[198; 216) 'unknow...tion()': f64
-[222; 229) '&mut &c': &mut &f64
-[227; 229) '&c': &f64
-[228; 229) 'c': f64
-