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]>

46 files changed, 0 insertions, 1092 deletions

diff --git a/crates/ra_hir/src/ty/snapshots/tests__bug_484.snap b/crates/ra_hir/src/ty/snapshots/tests__bug_484.snap
deleted file mode 100644
index 28f57623d..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__bug_484.snap
+++ /dev/null
@@ -1,12 +0,0 @@
----
-created: "2019-01-22T14:44:59.880187500+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[11; 37) '{    l... {}; }': ()
-[20; 21) 'x': ()
-[24; 34) 'if true {}': ()
-[27; 31) 'true': bool
-[32; 34) '{}': ()
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap b/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap
deleted file mode 100644
index e7b42e413..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap
+++ /dev/null
@@ -1,15 +0,0 @@
----
-created: "2019-01-22T14:44:59.880187500+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[11; 89) '{     ...   } }': ()
-[17; 21) 'X {}': [unknown]
-[27; 87) 'match ...     }': ()
-[33; 34) 'x': [unknown]
-[45; 52) 'A::B {}': [unknown]
-[56; 58) '()': ()
-[68; 74) 'A::Y()': [unknown]
-[78; 80) '()': ()
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__bug_651.snap b/crates/ra_hir/src/ty/snapshots/tests__bug_651.snap
deleted file mode 100644
index d23d3f139..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__bug_651.snap
+++ /dev/null
@@ -1,13 +0,0 @@
----
-created: "2019-01-25T20:31:47.275112244+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[11; 41) '{     ...+ y; }': ()
-[21; 22) 'y': i32
-[25; 27) '92': i32
-[33; 34) '1': i32
-[33; 38) '1 + y': i32
-[37; 38) 'y': i32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_adt_pattern.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_adt_pattern.snap
deleted file mode 100644
index 48c83cbb2..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_adt_pattern.snap
+++ /dev/null
@@ -1,32 +0,0 @@
----
-created: "2019-01-28T21:58:55.559331849+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[68; 289) '{     ...  d; }': ()
-[78; 79) 'e': E
-[82; 95) 'E::A { x: 3 }': E
-[92; 93) '3': usize
-[106; 113) 'S(y, z)': S
-[108; 109) 'y': u32
-[111; 112) 'z': E
-[116; 119) 'foo': S
-[129; 148) 'E::A {..._var }': E
-[139; 146) 'new_var': usize
-[151; 152) 'e': E
-[159; 245) 'match ...     }': usize
-[165; 166) 'e': E
-[177; 187) 'E::A { x }': E
-[184; 185) 'x': usize
-[191; 192) 'x': usize
-[202; 206) 'E::B': E
-[210; 213) 'foo': bool
-[217; 218) '1': usize
-[228; 232) 'E::B': E
-[236; 238) '10': usize
-[256; 275) 'ref d ...{ .. }': &E
-[264; 275) 'E::A { .. }': E
-[278; 279) 'e': E
-[285; 286) 'd': &E
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_array.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_array.snap
deleted file mode 100644
index 042248c35..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_array.snap
+++ /dev/null
@@ -1,65 +0,0 @@
----
-created: "2019-01-30T20:08:05.185312835+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[9; 10) 'x': &str
-[18; 19) 'y': isize
-[28; 324) '{     ... 3]; }': ()
-[38; 39) 'a': [&str]
-[42; 45) '[x]': [&str]
-[43; 44) 'x': &str
-[55; 56) 'b': [[&str]]
-[59; 65) '[a, a]': [[&str]]
-[60; 61) 'a': [&str]
-[63; 64) 'a': [&str]
-[75; 76) 'c': [[[&str]]]
-[79; 85) '[b, b]': [[[&str]]]
-[80; 81) 'b': [[&str]]
-[83; 84) 'b': [[&str]]
-[96; 97) 'd': [isize]
-[100; 112) '[y, 1, 2, 3]': [isize]
-[101; 102) 'y': isize
-[104; 105) '1': isize
-[107; 108) '2': isize
-[110; 111) '3': isize
-[122; 123) 'd': [isize]
-[126; 138) '[1, y, 2, 3]': [isize]
-[127; 128) '1': isize
-[130; 131) 'y': isize
-[133; 134) '2': isize
-[136; 137) '3': isize
-[148; 149) 'e': [isize]
-[152; 155) '[y]': [isize]
-[153; 154) 'y': isize
-[165; 166) 'f': [[isize]]
-[169; 175) '[d, d]': [[isize]]
-[170; 171) 'd': [isize]
-[173; 174) 'd': [isize]
-[185; 186) 'g': [[isize]]
-[189; 195) '[e, e]': [[isize]]
-[190; 191) 'e': [isize]
-[193; 194) 'e': [isize]
-[206; 207) 'h': [i32]
-[210; 216) '[1, 2]': [i32]
-[211; 212) '1': i32
-[214; 215) '2': i32
-[226; 227) 'i': [&str]
-[230; 240) '["a", "b"]': [&str]
-[231; 234) '"a"': &str
-[236; 239) '"b"': &str
-[251; 252) 'b': [[&str]]
-[255; 265) '[a, ["b"]]': [[&str]]
-[256; 257) 'a': [&str]
-[259; 264) '["b"]': [&str]
-[260; 263) '"b"': &str
-[275; 276) 'x': [u8]
-[288; 290) '[]': [u8]
-[300; 301) 'z': &[u8]
-[311; 321) '&[1, 2, 3]': &[u8]
-[312; 321) '[1, 2, 3]': [u8]
-[313; 314) '1': u8
-[316; 317) '2': u8
-[319; 320) '3': u8
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_const.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_const.snap
deleted file mode 100644
index 51f3fd4c0..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_const.snap
+++ /dev/null
@@ -1,14 +0,0 @@
----
-created: "2019-02-25T08:36:33.885804400Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[227; 305) '{     ...:ID; }': ()
-[237; 238) 'x': u32
-[241; 252) 'Struct::FOO': u32
-[262; 263) 'y': u32
-[266; 275) 'Enum::BAR': u32
-[285; 286) 'z': u32
-[289; 302) 'TraitTest::ID': u32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_enum.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_enum.snap
deleted file mode 100644
index 8f27af88c..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_enum.snap
+++ /dev/null
@@ -1,20 +0,0 @@
----
-created: "2019-02-20T11:04:56.553382800Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[48; 68) '{     ...     }': A
-[58; 62) 'A::B': A
-[89; 109) '{     ...     }': A
-[99; 103) 'A::C': A
-[122; 179) '{     ...  c; }': ()
-[132; 133) 'a': A
-[136; 140) 'A::b': fn b() -> A
-[136; 142) 'A::b()': A
-[148; 149) 'a': A
-[159; 160) 'c': A
-[163; 167) 'A::c': fn c() -> A
-[163; 169) 'A::c()': A
-[175; 176) 'c': A
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_generics.snap
deleted file mode 100644
index 44694dfdb..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_generics.snap
+++ /dev/null
@@ -1,16 +0,0 @@
----
-created: "2019-02-23T21:58:35.844769207Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[64; 67) 'val': T
-[82; 109) '{     ...     }': Gen<T>
-[92; 103) 'Gen { val }': Gen<T>
-[98; 101) 'val': T
-[123; 155) '{     ...32); }': ()
-[133; 134) 'a': Gen<u32>
-[137; 146) 'Gen::make': fn make<u32>(T) -> Gen<T>
-[137; 152) 'Gen::make(0u32)': Gen<u32>
-[147; 151) '0u32': u32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_struct.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_struct.snap
deleted file mode 100644
index 29ca9b0ea..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_struct.snap
+++ /dev/null
@@ -1,16 +0,0 @@
----
-created: "2019-02-20T11:04:56.553382800Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[50; 76) '{     ...     }': A
-[60; 70) 'A { x: 0 }': A
-[67; 68) '0': u32
-[89; 123) '{     ...a.x; }': ()
-[99; 100) 'a': A
-[103; 109) 'A::new': fn new() -> A
-[103; 111) 'A::new()': A
-[117; 118) 'a': A
-[117; 120) 'a.x': u32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_with_modules.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_with_modules.snap
deleted file mode 100644
index 6584bef39..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_with_modules.snap
+++ /dev/null
@@ -1,23 +0,0 @@
----
-created: "2019-02-21T08:55:53.926725400Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[56; 64) '{ A {} }': A
-[58; 62) 'A {}': A
-[126; 132) '{ 99 }': u32
-[128; 130) '99': u32
-[202; 210) '{ C {} }': C
-[204; 208) 'C {}': C
-[241; 325) '{     ...g(); }': ()
-[251; 252) 'x': A
-[255; 266) 'a::A::thing': fn thing() -> A
-[255; 268) 'a::A::thing()': A
-[278; 279) 'y': u32
-[282; 293) 'b::B::thing': fn thing() -> u32
-[282; 295) 'b::B::thing()': u32
-[305; 306) 'z': C
-[309; 320) 'c::C::thing': fn thing() -> C
-[309; 322) 'c::C::thing()': C
-
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
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_basics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_basics.snap
deleted file mode 100644
index 4b0863558..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_basics.snap
+++ /dev/null
@@ -1,20 +0,0 @@
----
-created: "2019-01-22T14:44:59.880187500+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[9; 10) 'a': u32
-[17; 18) 'b': isize
-[27; 28) 'c': !
-[33; 34) 'd': &str
-[42; 121) '{     ...f32; }': ()
-[48; 49) 'a': u32
-[55; 56) 'b': isize
-[62; 63) 'c': !
-[69; 70) 'd': &str
-[76; 82) '1usize': usize
-[88; 94) '1isize': isize
-[100; 106) '"test"': &str
-[112; 118) '1.0f32': f32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap
deleted file mode 100644
index 80ffe6e11..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap
+++ /dev/null
@@ -1,57 +0,0 @@
----
-created: "2019-02-18T07:03:52.524808301Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[6; 7) 'x': bool
-[22; 34) '{     0i32 }': i32
-[28; 32) '0i32': i32
-[54; 370) '{     ... < 3 }': bool
-[64; 65) 'x': bool
-[68; 69) 'a': bool
-[68; 74) 'a && b': bool
-[73; 74) 'b': bool
-[84; 85) 'y': bool
-[88; 92) 'true': bool
-[88; 101) 'true || false': bool
-[96; 101) 'false': bool
-[111; 112) 'z': bool
-[115; 116) 'x': bool
-[115; 121) 'x == y': bool
-[120; 121) 'y': bool
-[131; 132) 't': bool
-[135; 136) 'x': bool
-[135; 141) 'x != y': bool
-[140; 141) 'y': bool
-[151; 162) 'minus_forty': isize
-[172; 180) '-40isize': isize
-[173; 180) '40isize': isize
-[190; 191) 'h': bool
-[194; 205) 'minus_forty': isize
-[194; 216) 'minus_...ONST_2': bool
-[209; 216) 'CONST_2': isize
-[226; 227) 'c': i32
-[230; 231) 'f': fn f(bool) -> i32
-[230; 239) 'f(z || y)': i32
-[230; 243) 'f(z || y) + 5': i32
-[232; 233) 'z': bool
-[232; 238) 'z || y': bool
-[237; 238) 'y': bool
-[242; 243) '5': i32
-[253; 254) 'd': [unknown]
-[257; 258) 'b': [unknown]
-[268; 269) 'g': ()
-[272; 283) 'minus_forty': isize
-[272; 288) 'minus_...y ^= i': ()
-[287; 288) 'i': isize
-[298; 301) 'ten': usize
-[311; 313) '10': usize
-[323; 336) 'ten_is_eleven': bool
-[339; 342) 'ten': usize
-[339; 354) 'ten == some_num': bool
-[346; 354) 'some_num': usize
-[361; 364) 'ten': usize
-[361; 368) 'ten < 3': bool
-[367; 368) '3': usize
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap
deleted file mode 100644
index a5eba3980..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap
+++ /dev/null
@@ -1,14 +0,0 @@
----
-created: "2019-02-25T07:26:34.115351100Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[95; 213) '{     ...NST; }': ()
-[138; 139) 'x': [unknown]
-[142; 153) 'LOCAL_CONST': [unknown]
-[163; 164) 'z': u32
-[167; 179) 'GLOBAL_CONST': u32
-[189; 191) 'id': u32
-[194; 210) 'Foo::A..._CONST': u32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_enum.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_enum.snap
deleted file mode 100644
index bc8b84272..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_enum.snap
+++ /dev/null
@@ -1,11 +0,0 @@
----
-created: "2019-01-22T14:44:59.880187500+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[48; 82) '{   E:...:V2; }': ()
-[52; 70) 'E::V1 ...d: 1 }': E
-[67; 68) '1': u32
-[74; 79) 'E::V2': E
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_field_autoderef.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_field_autoderef.snap
deleted file mode 100644
index f092fd319..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_field_autoderef.snap
+++ /dev/null
@@ -1,50 +0,0 @@
----
-created: "2019-01-22T14:44:59.955954900+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[44; 45) 'a': A
-[50; 213) '{     ...5.b; }': ()
-[60; 62) 'a1': A
-[65; 66) 'a': A
-[72; 74) 'a1': A
-[72; 76) 'a1.b': B
-[86; 88) 'a2': &A
-[91; 93) '&a': &A
-[92; 93) 'a': A
-[99; 101) 'a2': &A
-[99; 103) 'a2.b': B
-[113; 115) 'a3': &mut A
-[118; 124) '&mut a': &mut A
-[123; 124) 'a': A
-[130; 132) 'a3': &mut A
-[130; 134) 'a3.b': B
-[144; 146) 'a4': &&&&&&&A
-[149; 157) '&&&&&&&a': &&&&&&&A
-[150; 157) '&&&&&&a': &&&&&&A
-[151; 157) '&&&&&a': &&&&&A
-[152; 157) '&&&&a': &&&&A
-[153; 157) '&&&a': &&&A
-[154; 157) '&&a': &&A
-[155; 157) '&a': &A
-[156; 157) 'a': A
-[163; 165) 'a4': &&&&&&&A
-[163; 167) 'a4.b': B
-[177; 179) 'a5': &mut &&mut &&mut A
-[182; 200) '&mut &...&mut a': &mut &&mut &&mut A
-[187; 200) '&&mut &&mut a': &&mut &&mut A
-[188; 200) '&mut &&mut a': &mut &&mut A
-[193; 200) '&&mut a': &&mut A
-[194; 200) '&mut a': &mut A
-[199; 200) 'a': A
-[206; 208) 'a5': &mut &&mut &&mut A
-[206; 210) 'a5.b': B
-[224; 226) 'a1': *const A
-[238; 240) 'a2': *mut A
-[250; 273) '{     ...2.b; }': ()
-[256; 258) 'a1': *const A
-[256; 260) 'a1.b': B
-[266; 268) 'a2': *mut A
-[266; 270) 'a2.b': B
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_function_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_function_generics.snap
deleted file mode 100644
index 91c48897c..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_function_generics.snap
+++ /dev/null
@@ -1,21 +0,0 @@
----
-created: "2019-01-27T14:52:29.934503829+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[10; 11) 't': T
-[21; 26) '{ t }': T
-[23; 24) 't': T
-[38; 98) '{     ...(1); }': ()
-[44; 46) 'id': fn id<u32>(T) -> T
-[44; 52) 'id(1u32)': u32
-[47; 51) '1u32': u32
-[58; 68) 'id::<i128>': fn id<i128>(T) -> T
-[58; 71) 'id::<i128>(1)': i128
-[69; 70) '1': i128
-[81; 82) 'x': u64
-[90; 92) 'id': fn id<u64>(T) -> T
-[90; 95) 'id(1)': u64
-[93; 94) '1': u64
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_generic_chain.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_generic_chain.snap
deleted file mode 100644
index d1ce87b0a..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_generic_chain.snap
+++ /dev/null
@@ -1,36 +0,0 @@
----
-created: "2019-02-16T20:53:59.655361804Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[53; 57) 'self': A<T2>
-[65; 87) '{     ...     }': T2
-[75; 79) 'self': A<T2>
-[75; 81) 'self.x': T2
-[99; 100) 't': T
-[110; 115) '{ t }': T
-[112; 113) 't': T
-[135; 261) '{     ....x() }': i128
-[146; 147) 'x': i128
-[150; 151) '1': i128
-[162; 163) 'y': i128
-[166; 168) 'id': fn id<i128>(T) -> T
-[166; 171) 'id(x)': i128
-[169; 170) 'x': i128
-[182; 183) 'a': A<i128>
-[186; 200) 'A { x: id(y) }': A<i128>
-[193; 195) 'id': fn id<i128>(T) -> T
-[193; 198) 'id(y)': i128
-[196; 197) 'y': i128
-[211; 212) 'z': i128
-[215; 217) 'id': fn id<i128>(T) -> T
-[215; 222) 'id(a.x)': i128
-[218; 219) 'a': A<i128>
-[218; 221) 'a.x': i128
-[233; 234) 'b': A<i128>
-[237; 247) 'A { x: z }': A<i128>
-[244; 245) 'z': i128
-[254; 255) 'b': A<i128>
-[254; 259) 'b.x()': i128
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_generics_in_patterns.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_generics_in_patterns.snap
deleted file mode 100644
index fae7ab0dd..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_generics_in_patterns.snap
+++ /dev/null
@@ -1,24 +0,0 @@
----
-created: "2019-01-22T14:44:59.970913200+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[79; 81) 'a1': A<u32>
-[91; 92) 'o': Option<u64>
-[107; 244) '{     ...  }; }': ()
-[117; 128) 'A { x: x2 }': A<u32>
-[124; 126) 'x2': u32
-[131; 133) 'a1': A<u32>
-[143; 161) 'A::<i6...: x3 }': A<i64>
-[157; 159) 'x3': i64
-[164; 174) 'A { x: 1 }': A<i64>
-[171; 172) '1': i64
-[180; 241) 'match ...     }': u64
-[186; 187) 'o': Option<u64>
-[198; 213) 'Option::Some(t)': Option<u64>
-[211; 212) 't': u64
-[217; 218) 't': u64
-[228; 229) '_': Option<u64>
-[233; 234) '1': u64
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics.snap
deleted file mode 100644
index 44f00a52e..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics.snap
+++ /dev/null
@@ -1,39 +0,0 @@
----
-created: "2019-02-16T21:58:14.029368845Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[74; 78) 'self': A<X, Y>
-[85; 107) '{     ...     }': X
-[95; 99) 'self': A<X, Y>
-[95; 101) 'self.x': X
-[117; 121) 'self': A<X, Y>
-[128; 150) '{     ...     }': Y
-[138; 142) 'self': A<X, Y>
-[138; 144) 'self.y': Y
-[163; 167) 'self': A<X, Y>
-[169; 170) 't': T
-[188; 223) '{     ...     }': (X, Y, T)
-[198; 217) '(self.....y, t)': (X, Y, T)
-[199; 203) 'self': A<X, Y>
-[199; 205) 'self.x': X
-[207; 211) 'self': A<X, Y>
-[207; 213) 'self.y': Y
-[215; 216) 't': T
-[245; 342) '{     ...(1); }': ()
-[255; 256) 'a': A<u64, i64>
-[259; 281) 'A { x:...1i64 }': A<u64, i64>
-[266; 270) '1u64': u64
-[275; 279) '1i64': i64
-[287; 288) 'a': A<u64, i64>
-[287; 292) 'a.x()': u64
-[298; 299) 'a': A<u64, i64>
-[298; 303) 'a.y()': i64
-[309; 310) 'a': A<u64, i64>
-[309; 319) 'a.z(1i128)': (u64, i64, i128)
-[313; 318) '1i128': i128
-[325; 326) 'a': A<u64, i64>
-[325; 339) 'a.z::<u128>(1)': (u64, i64, u128)
-[337; 338) '1': u128
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics_with_autoderef.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics_with_autoderef.snap
deleted file mode 100644
index f609eaf7c..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics_with_autoderef.snap
+++ /dev/null
@@ -1,16 +0,0 @@
----
-created: "2019-02-17T13:35:06.385679926Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[78; 82) 'self': &Option<T>
-[98; 100) '{}': ()
-[111; 112) 'o': Option<u32>
-[127; 165) '{     ...f(); }': ()
-[133; 146) '(&o).as_ref()': Option<&u32>
-[134; 136) '&o': &Option<u32>
-[135; 136) 'o': Option<u32>
-[152; 153) 'o': Option<u32>
-[152; 162) 'o.as_ref()': Option<&u32>
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_in_elseif.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_in_elseif.snap
deleted file mode 100644
index 6a435e5cf..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_in_elseif.snap
+++ /dev/null
@@ -1,17 +0,0 @@
----
-created: "2019-01-26T21:36:52.714121185+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[35; 38) 'foo': Foo
-[45; 109) '{     ...   } }': ()
-[51; 107) 'if tru...     }': ()
-[54; 58) 'true': bool
-[59; 67) '{      }': ()
-[73; 107) 'if fal...     }': i32
-[76; 81) 'false': bool
-[82; 107) '{     ...     }': i32
-[92; 95) 'foo': Foo
-[92; 101) 'foo.field': i32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_inherent_method.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_inherent_method.snap
deleted file mode 100644
index b3c706aca..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_inherent_method.snap
+++ /dev/null
@@ -1,25 +0,0 @@
----
-created: "2019-01-22T14:44:59.968918800+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[32; 36) 'self': A
-[38; 39) 'x': u32
-[53; 55) '{}': ()
-[103; 107) 'self': &A
-[109; 110) 'x': u64
-[124; 126) '{}': ()
-[144; 145) 'a': A
-[150; 198) '{     ...(1); }': ()
-[156; 157) 'a': A
-[156; 164) 'a.foo(1)': i32
-[162; 163) '1': u32
-[170; 181) '(&a).bar(1)': i64
-[171; 173) '&a': &A
-[172; 173) 'a': A
-[179; 180) '1': u64
-[187; 188) 'a': A
-[187; 195) 'a.bar(1)': i64
-[193; 194) '1': u64
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_let.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_let.snap
deleted file mode 100644
index 0d085071a..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_let.snap
+++ /dev/null
@@ -1,14 +0,0 @@
----
-created: "2019-01-22T14:44:59.963931700+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[11; 71) '{     ...= b; }': ()
-[21; 22) 'a': isize
-[25; 31) '1isize': isize
-[41; 42) 'b': usize
-[52; 53) '1': usize
-[63; 64) 'c': usize
-[67; 68) 'b': usize
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_literals.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_literals.snap
deleted file mode 100644
index e287a100e..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_literals.snap
+++ /dev/null
@@ -1,19 +0,0 @@
----
-created: "2019-01-22T14:44:59.974903100+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[11; 201) '{     ...o"#; }': ()
-[17; 21) '5i32': i32
-[27; 34) '"hello"': &str
-[40; 48) 'b"bytes"': &[u8]
-[54; 57) ''c'': char
-[63; 67) 'b'b'': u8
-[73; 77) '3.14': f64
-[83; 87) '5000': i32
-[93; 98) 'false': bool
-[104; 108) 'true': bool
-[114; 182) 'r#"   ...    "#': &str
-[188; 198) 'br#"yolo"#': &[u8]
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_nested_generics_crash.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_nested_generics_crash.snap
deleted file mode 100644
index 209454a91..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_nested_generics_crash.snap
+++ /dev/null
@@ -1,12 +0,0 @@
----
-created: "2019-02-11T21:59:04.302375838Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[92; 106) 'query_response': Canonical<QueryResponse<R>>
-[137; 167) '{     ...lue; }': ()
-[143; 164) '&query....value': &QueryResponse<R>
-[144; 158) 'query_response': Canonical<QueryResponse<R>>
-[144; 164) 'query_....value': QueryResponse<R>
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_paths.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_paths.snap
deleted file mode 100644
index afbe2f747..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_paths.snap
+++ /dev/null
@@ -1,16 +0,0 @@
----
-created: "2019-01-26T17:46:03.928773630+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[15; 20) '{ 1 }': u32
-[17; 18) '1': u32
-[48; 53) '{ 1 }': u32
-[50; 51) '1': u32
-[67; 91) '{     ...c(); }': ()
-[73; 74) 'a': fn a() -> u32
-[73; 76) 'a()': u32
-[82; 86) 'b::c': fn c() -> u32
-[82; 88) 'b::c()': u32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap
deleted file mode 100644
index 1da46daf8..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap
+++ /dev/null
@@ -1,54 +0,0 @@
----
-created: "2019-01-22T14:45:00.037734500+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[9; 10) 'x': &i32
-[18; 369) '{     ...o_x; }': ()
-[28; 29) 'y': &i32
-[32; 33) 'x': &i32
-[43; 45) '&z': &i32
-[44; 45) 'z': i32
-[48; 49) 'x': &i32
-[59; 60) 'a': i32
-[63; 64) 'z': i32
-[74; 80) '(c, d)': (i32, &str)
-[75; 76) 'c': i32
-[78; 79) 'd': &str
-[83; 95) '(1, "hello")': (i32, &str)
-[84; 85) '1': i32
-[87; 94) '"hello"': &str
-[102; 152) 'for (e...     }': ()
-[106; 112) '(e, f)': ([unknown], [unknown])
-[107; 108) 'e': [unknown]
-[110; 111) 'f': [unknown]
-[116; 125) 'some_iter': [unknown]
-[126; 152) '{     ...     }': ()
-[140; 141) 'g': [unknown]
-[144; 145) 'e': [unknown]
-[158; 205) 'if let...     }': ()
-[165; 170) '[val]': [unknown]
-[173; 176) 'opt': [unknown]
-[177; 205) '{     ...     }': ()
-[191; 192) 'h': [unknown]
-[195; 198) 'val': [unknown]
-[215; 221) 'lambda': [unknown]
-[224; 256) '|a: u6...b; c }': [unknown]
-[225; 226) 'a': u64
-[233; 234) 'b': u64
-[236; 237) 'c': i32
-[244; 256) '{ a + b; c }': i32
-[246; 247) 'a': u64
-[246; 251) 'a + b': u64
-[250; 251) 'b': u64
-[253; 254) 'c': i32
-[267; 279) 'ref ref_to_x': &&i32
-[282; 283) 'x': &i32
-[293; 302) 'mut mut_x': &i32
-[305; 306) 'x': &i32
-[316; 336) 'ref mu...f_to_x': &mut &i32
-[339; 340) 'x': &i32
-[350; 351) 'k': &mut &i32
-[354; 366) 'mut_ref_to_x': &mut &i32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_refs.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_refs.snap
deleted file mode 100644
index 56931bb3d..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_refs.snap
+++ /dev/null
@@ -1,30 +0,0 @@
----
-created: "2019-01-22T14:45:00.053692600+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[9; 10) 'a': &u32
-[18; 19) 'b': &mut u32
-[31; 32) 'c': *const u32
-[46; 47) 'd': *mut u32
-[59; 150) '{     ... *d; }': ()
-[65; 66) 'a': &u32
-[72; 74) '*a': u32
-[73; 74) 'a': &u32
-[80; 82) '&a': &&u32
-[81; 82) 'a': &u32
-[88; 94) '&mut a': &mut &u32
-[93; 94) 'a': &u32
-[100; 101) 'b': &mut u32
-[107; 109) '*b': u32
-[108; 109) 'b': &mut u32
-[115; 117) '&b': &&mut u32
-[116; 117) 'b': &mut u32
-[123; 124) 'c': *const u32
-[130; 132) '*c': u32
-[131; 132) 'c': *const u32
-[138; 139) 'd': *mut u32
-[145; 147) '*d': u32
-[146; 147) 'd': *mut u32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_self.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_self.snap
deleted file mode 100644
index 5c927f5c1..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_self.snap
+++ /dev/null
@@ -1,17 +0,0 @@
----
-created: "2019-02-04T19:40:48.826936500+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[34; 38) 'self': &S
-[40; 61) '{     ...     }': ()
-[50; 54) 'self': &S
-[75; 79) 'self': &S
-[88; 109) '{     ...     }': ()
-[98; 102) 'self': &S
-[133; 153) '{     ...     }': S
-[143; 147) 'S {}': S
-[177; 200) '{     ...     }': S
-[187; 194) 'Self {}': S
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap
deleted file mode 100644
index 5d90f56ed..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap
+++ /dev/null
@@ -1,16 +0,0 @@
----
-created: "2019-02-25T08:20:17.807316Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[85; 280) '{     ...MUT; }': ()
-[173; 174) 'x': [unknown]
-[177; 189) 'LOCAL_STATIC': [unknown]
-[199; 200) 'y': [unknown]
-[203; 219) 'LOCAL_...IC_MUT': [unknown]
-[229; 230) 'z': u32
-[233; 246) 'GLOBAL_STATIC': u32
-[256; 257) 'w': u32
-[260; 277) 'GLOBAL...IC_MUT': u32
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap
deleted file mode 100644
index 4b99788e4..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap
+++ /dev/null
@@ -1,13 +0,0 @@
----
-created: "2019-02-09T16:56:24.803326529Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[54; 139) '{     ...   } }': ()
-[60; 137) 'match ...     }': ()
-[66; 83) 'someth...nknown': Maybe<[unknown]>
-[94; 124) 'Maybe:...thing)': Maybe<[unknown]>
-[106; 123) 'ref mu...ething': &mut [unknown]
-[128; 130) '()': ()
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_2.snap
deleted file mode 100644
index fd0b39b7d..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_2.snap
+++ /dev/null
@@ -1,14 +0,0 @@
----
-created: "2019-02-09T17:03:11.974225590Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[23; 53) '{     ...n']; }': ()
-[29; 50) '&[0, b...b'\n']': &[u8]
-[30; 50) '[0, b'...b'\n']': [u8]
-[31; 32) '0': u8
-[34; 39) 'b'\n'': u8
-[41; 42) '1': u8
-[44; 49) 'b'\n'': u8
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap
deleted file mode 100644
index d15b77e17..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap
+++ /dev/null
@@ -1,13 +0,0 @@
----
-created: "2019-02-09T18:02:37.377591660Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[18; 102) '{     ...   } }': ()
-[24; 100) 'match ...     }': ()
-[42; 88) 'SizeSk...tail }': [unknown]
-[76; 80) 'true': [unknown]
-[82; 86) 'tail': [unknown]
-[92; 94) '{}': ()
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap
deleted file mode 100644
index fb31883ce..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap
+++ /dev/null
@@ -1,16 +0,0 @@
----
-created: "2019-02-09T19:55:39.712470520Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[25; 110) '{     ...   } }': ()
-[31; 108) 'match ...     }': ()
-[37; 42) '*self': [unknown]
-[38; 42) 'self': [unknown]
-[53; 95) 'Borrow...), ..}': [unknown]
-[74; 77) 'box': [unknown]
-[78; 87) 'Primitive': [unknown]
-[88; 89) 'p': [unknown]
-[99; 101) '{}': ()
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap
deleted file mode 100644
index 6bbf59fb6..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap
+++ /dev/null
@@ -1,30 +0,0 @@
----
-created: "2019-02-09T20:28:37.294693728Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[27; 323) '{     ...   } }': ()
-[33; 321) 'for co...     }': ()
-[37; 44) 'content': &[unknown]
-[48; 61) 'doesnt_matter': [unknown]
-[62; 321) '{     ...     }': ()
-[76; 80) 'name': &&[unknown]
-[83; 167) 'if doe...     }': &&[unknown]
-[86; 99) 'doesnt_matter': bool
-[100; 129) '{     ...     }': &&[unknown]
-[114; 119) 'first': &&[unknown]
-[135; 167) '{     ...     }': &&[unknown]
-[149; 157) '&content': &&[unknown]
-[150; 157) 'content': &[unknown]
-[182; 189) 'content': &&[unknown]
-[192; 314) 'if ICE...     }': &&[unknown]
-[195; 232) 'ICE_RE..._VALUE': [unknown]
-[195; 248) 'ICE_RE...&name)': bool
-[242; 247) '&name': &&&[unknown]
-[243; 247) 'name': &&[unknown]
-[249; 277) '{     ...     }': &&[unknown]
-[263; 267) 'name': &&[unknown]
-[283; 314) '{     ...     }': &[unknown]
-[297; 304) 'content': &[unknown]
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_struct.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_struct.snap
deleted file mode 100644
index 32f1fa108..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_struct.snap
+++ /dev/null
@@ -1,23 +0,0 @@
----
-created: "2019-02-20T21:31:12.910924715Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[72; 154) '{     ...a.c; }': ()
-[82; 83) 'c': C
-[86; 87) 'C': C(usize) -> C
-[86; 90) 'C(1)': C
-[88; 89) '1': usize
-[96; 97) 'B': B
-[107; 108) 'a': A
-[114; 133) 'A { b:...C(1) }': A
-[121; 122) 'B': B
-[127; 128) 'C': C(usize) -> C
-[127; 131) 'C(1)': C
-[129; 130) '1': usize
-[139; 140) 'a': A
-[139; 142) 'a.b': B
-[148; 149) 'a': A
-[148; 151) 'a.c': C
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_struct_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_struct_generics.snap
deleted file mode 100644
index e07c7d36c..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_struct_generics.snap
+++ /dev/null
@@ -1,22 +0,0 @@
----
-created: "2019-01-22T14:45:00.058678600+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[36; 38) 'a1': A<u32>
-[48; 49) 'i': i32
-[56; 147) '{     ...3.x; }': ()
-[62; 64) 'a1': A<u32>
-[62; 66) 'a1.x': u32
-[76; 78) 'a2': A<i32>
-[81; 91) 'A { x: i }': A<i32>
-[88; 89) 'i': i32
-[97; 99) 'a2': A<i32>
-[97; 101) 'a2.x': i32
-[111; 113) 'a3': A<i128>
-[116; 134) 'A::<i1...x: 1 }': A<i128>
-[131; 132) '1': i128
-[140; 142) 'a3': A<i128>
-[140; 144) 'a3.x': i128
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_tuple.snap
deleted file mode 100644
index cd11d41d3..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple.snap
+++ /dev/null
@@ -1,34 +0,0 @@
----
-created: "2019-01-22T14:45:00.058678600+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[9; 10) 'x': &str
-[18; 19) 'y': isize
-[28; 170) '{     ...d"); }': ()
-[38; 39) 'a': (u32, &str)
-[55; 63) '(1, "a")': (u32, &str)
-[56; 57) '1': u32
-[59; 62) '"a"': &str
-[73; 74) 'b': ((u32, &str), &str)
-[77; 83) '(a, x)': ((u32, &str), &str)
-[78; 79) 'a': (u32, &str)
-[81; 82) 'x': &str
-[93; 94) 'c': (isize, &str)
-[97; 103) '(y, x)': (isize, &str)
-[98; 99) 'y': isize
-[101; 102) 'x': &str
-[113; 114) 'd': ((isize, &str), &str)
-[117; 123) '(c, x)': ((isize, &str), &str)
-[118; 119) 'c': (isize, &str)
-[121; 122) 'x': &str
-[133; 134) 'e': (i32, &str)
-[137; 145) '(1, "e")': (i32, &str)
-[138; 139) '1': i32
-[141; 144) '"e"': &str
-[155; 156) 'f': ((i32, &str), &str)
-[159; 167) '(e, "d")': ((i32, &str), &str)
-[160; 161) 'e': (i32, &str)
-[163; 166) '"d"': &str
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap
deleted file mode 100644
index 783795cfd..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap
+++ /dev/null
@@ -1,23 +0,0 @@
----
-created: "2019-02-20T21:31:12.911275141Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[77; 185) '{     ...one; }': ()
-[83; 84) 'A': A<i32>(T) -> A<T>
-[83; 88) 'A(42)': A<i32>
-[85; 87) '42': i32
-[94; 95) 'A': A<u128>(T) -> A<T>
-[94; 103) 'A(42u128)': A<u128>
-[96; 102) '42u128': u128
-[109; 113) 'Some': Some<&str>(T) -> Option<T>
-[109; 118) 'Some("x")': Option<&str>
-[114; 117) '"x"': &str
-[124; 136) 'Option::Some': Some<&str>(T) -> Option<T>
-[124; 141) 'Option...e("x")': Option<&str>
-[137; 140) '"x"': &str
-[147; 151) 'None': Option<[unknown]>
-[161; 162) 'x': Option<i64>
-[178; 182) 'None': Option<i64>
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_type_alias.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_type_alias.snap
deleted file mode 100644
index 241c08353..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_type_alias.snap
+++ /dev/null
@@ -1,23 +0,0 @@
----
-created: "2019-02-24T16:13:47.561870283Z"
-creator: [email protected]
-source: crates/ra_hir/src/ty/tests.rs
-expression: "&result"
----
-[117; 118) 'x': A<u32, i128>
-[125; 126) 'y': A<&str, u128>
-[139; 140) 'z': A<u8, i8>
-[155; 212) '{     ...z.y; }': ()
-[161; 162) 'x': A<u32, i128>
-[161; 164) 'x.x': u32
-[170; 171) 'x': A<u32, i128>
-[170; 173) 'x.y': i128
-[179; 180) 'y': A<&str, u128>
-[179; 182) 'y.x': &str
-[188; 189) 'y': A<&str, u128>
-[188; 191) 'y.y': u128
-[197; 198) 'z': A<u8, i8>
-[197; 200) 'z.x': u8
-[206; 207) 'z': A<u8, i8>
-[206; 209) 'z.y': i8
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_type_param.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_type_param.snap
deleted file mode 100644
index 216d1e41f..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_type_param.snap
+++ /dev/null
@@ -1,26 +0,0 @@
----
-created: "2019-01-27T20:38:32.153717698+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[10; 11) 'x': T
-[21; 30) '{     x }': T
-[27; 28) 'x': T
-[44; 45) 'x': &T
-[56; 65) '{     x }': &T
-[62; 63) 'x': &T
-[77; 157) '{     ...(1); }': ()
-[87; 88) 'y': u32
-[91; 96) '10u32': u32
-[102; 104) 'id': fn id<u32>(T) -> T
-[102; 107) 'id(y)': u32
-[105; 106) 'y': u32
-[117; 118) 'x': bool
-[127; 132) 'clone': fn clone<bool>(&T) -> T
-[127; 135) 'clone(z)': bool
-[133; 134) 'z': &bool
-[141; 151) 'id::<i128>': fn id<i128>(T) -> T
-[141; 154) 'id::<i128>(1)': i128
-[152; 153) '1': i128
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap
deleted file mode 100644
index 5021d0eeb..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap
+++ /dev/null
@@ -1,48 +0,0 @@
----
-created: "2019-01-28T14:51:16.185273502+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[27; 28) 'x': SomeType
-[40; 272) '{     ...lo"; }': ()
-[50; 51) 'b': bool
-[54; 59) 'false': bool
-[69; 70) 'c': bool
-[73; 75) '!b': bool
-[74; 75) 'b': bool
-[85; 86) 'a': i128
-[89; 92) '100': i128
-[102; 103) 'd': i128
-[112; 114) '-a': i128
-[113; 114) 'a': i128
-[124; 125) 'e': i32
-[128; 132) '-100': i32
-[129; 132) '100': i32
-[142; 143) 'f': bool
-[146; 153) '!!!true': bool
-[147; 153) '!!true': bool
-[148; 153) '!true': bool
-[149; 153) 'true': bool
-[163; 164) 'g': i32
-[167; 170) '!42': i32
-[168; 170) '42': i32
-[180; 181) 'h': u32
-[184; 190) '!10u32': u32
-[185; 190) '10u32': u32
-[200; 201) 'j': i128
-[204; 206) '!a': i128
-[205; 206) 'a': i128
-[212; 217) '-3.14': f64
-[213; 217) '3.14': f64
-[223; 225) '!3': i32
-[224; 225) '3': i32
-[231; 233) '-x': [unknown]
-[232; 233) 'x': SomeType
-[239; 241) '!x': [unknown]
-[240; 241) 'x': SomeType
-[247; 255) '-"hello"': [unknown]
-[248; 255) '"hello"': &str
-[261; 269) '!"hello"': [unknown]
-[262; 269) '"hello"': &str
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap b/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap
deleted file mode 100644
index b6f404b4c..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap
+++ /dev/null
@@ -1,11 +0,0 @@
----
-created: "2019-01-22T14:45:00.058678600+00:00"
-creator: [email protected]
-expression: "&result"
-source: "crates\\ra_hir\\src\\ty\\tests.rs"
----
-[20; 21) 'x': X
-[26; 47) '{     ...eld; }': ()
-[32; 33) 'x': X
-[32; 44) 'x.some_field': [unknown]
-
diff --git a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap b/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap
deleted file mode 100644
index c3227ff7e..000000000
--- a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap
+++ /dev/null
@@ -1,14 +0,0 @@
----
-created: "2019-01-26T22:42:22.329980185+00:00"
-creator: [email protected]
-expression: "&result"
-source: crates/ra_hir/src/ty/tests.rs
----
-[11; 48) '{     ...&y]; }': ()
-[21; 22) 'y': &[unknown]
-[25; 32) 'unknown': &[unknown]
-[38; 45) '[y, &y]': [&&[unknown]]
-[39; 40) 'y': &[unknown]
-[42; 44) '&y': &&[unknown]
-[43; 44) 'y': &[unknown]
-
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]
-