Add a bunch of tests for type inference involving traits

None of them works correctly yet, of course.

1 files changed, 18 insertions, 0 deletions

diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap
new file mode 100644
index 000000000..37def29c3
--- /dev/null
+++ b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap
@@ -0,0 +1,18 @@
+---
+created: "2019-03-02T13:49:53.572131028Z"
+creator: [email protected]
+source: crates/ra_hir/src/ty/tests.rs
+expression: "&result"
+---
+[87; 88) 't': T
+[98; 100) '{}': ()
+[111; 163) '{     ...(s); }': ()
+[121; 122) 's': S<[unknown]>
+[125; 126) 'S': S<[unknown]>(T) -> S<T>
+[125; 135) 'S(unknown)': S<[unknown]>
+[127; 134) 'unknown': [unknown]
+[145; 146) 'x': u32
+[154; 157) 'foo': fn foo<u32, S<[unknown]>>(T) -> U
+[154; 160) 'foo(s)': u32
+[158; 159) 's': S<[unknown]>
+