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, 21 deletions

diff --git a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap b/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap
deleted file mode 100644
index de124da5b..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap
+++ /dev/null
@@ -1,21 +0,0 @@
----
-created: "2019-01-26T22:42:22.331805845+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[11; 80) '{     ...x)]; }': ()
-[21; 22) 'x': &&[unknown]
-[25; 32) 'unknown': &&[unknown]
-[42; 43) 'y': &&[unknown]
-[46; 53) 'unknown': &&[unknown]
-[59; 77) '[(x, y..., &x)]': [(&&[unknown], &&[unknown])]
-[60; 66) '(x, y)': (&&[unknown], &&[unknown])
-[61; 62) 'x': &&[unknown]
-[64; 65) 'y': &&[unknown]
-[68; 76) '(&y, &x)': (&&&[unknown], &&&[unknown])
-[69; 71) '&y': &&&[unknown]
-[70; 71) 'y': &&[unknown]
-[73; 75) '&x': &&&[unknown]
-[74; 75) 'x': &&[unknown]
-