diff options
Diffstat (limited to 'crates/ra_hir_ty/src/tests/regression.rs')
-rw-r--r-- | crates/ra_hir_ty/src/tests/regression.rs | 278 |
1 files changed, 139 insertions, 139 deletions
diff --git a/crates/ra_hir_ty/src/tests/regression.rs b/crates/ra_hir_ty/src/tests/regression.rs index 61a6801fc..8a1292c7a 100644 --- a/crates/ra_hir_ty/src/tests/regression.rs +++ b/crates/ra_hir_ty/src/tests/regression.rs | |||
@@ -14,11 +14,11 @@ fn test() { | |||
14 | } | 14 | } |
15 | "#), | 15 | "#), |
16 | @r###" | 16 | @r###" |
17 | [11; 37) '{ l... {}; }': () | 17 | 11..37 '{ l... {}; }': () |
18 | [20; 21) 'x': () | 18 | 20..21 'x': () |
19 | [24; 34) 'if true {}': () | 19 | 24..34 'if true {}': () |
20 | [27; 31) 'true': bool | 20 | 27..31 'true': bool |
21 | [32; 34) '{}': () | 21 | 32..34 '{}': () |
22 | "### | 22 | "### |
23 | ); | 23 | ); |
24 | } | 24 | } |
@@ -34,10 +34,10 @@ fn test(x: X) { | |||
34 | } | 34 | } |
35 | "#), | 35 | "#), |
36 | @r###" | 36 | @r###" |
37 | [20; 21) 'x': X | 37 | 20..21 'x': X |
38 | [26; 47) '{ ...eld; }': () | 38 | 26..47 '{ ...eld; }': () |
39 | [32; 33) 'x': X | 39 | 32..33 'x': X |
40 | [32; 44) 'x.some_field': {unknown} | 40 | 32..44 'x.some_field': {unknown} |
41 | "### | 41 | "### |
42 | ); | 42 | ); |
43 | } | 43 | } |
@@ -55,14 +55,14 @@ fn test() { | |||
55 | } | 55 | } |
56 | "#), | 56 | "#), |
57 | @r###" | 57 | @r###" |
58 | [11; 89) '{ ... } }': () | 58 | 11..89 '{ ... } }': () |
59 | [17; 21) 'X {}': {unknown} | 59 | 17..21 'X {}': {unknown} |
60 | [27; 87) 'match ... }': () | 60 | 27..87 'match ... }': () |
61 | [33; 34) 'x': {unknown} | 61 | 33..34 'x': {unknown} |
62 | [45; 52) 'A::B {}': {unknown} | 62 | 45..52 'A::B {}': {unknown} |
63 | [56; 58) '()': () | 63 | 56..58 '()': () |
64 | [68; 74) 'A::Y()': {unknown} | 64 | 68..74 'A::Y()': {unknown} |
65 | [78; 80) '()': () | 65 | 78..80 '()': () |
66 | "### | 66 | "### |
67 | ); | 67 | ); |
68 | } | 68 | } |
@@ -77,12 +77,12 @@ fn quux() { | |||
77 | } | 77 | } |
78 | "#), | 78 | "#), |
79 | @r###" | 79 | @r###" |
80 | [11; 41) '{ ...+ y; }': () | 80 | 11..41 '{ ...+ y; }': () |
81 | [21; 22) 'y': i32 | 81 | 21..22 'y': i32 |
82 | [25; 27) '92': i32 | 82 | 25..27 '92': i32 |
83 | [33; 34) '1': i32 | 83 | 33..34 '1': i32 |
84 | [33; 38) '1 + y': i32 | 84 | 33..38 '1 + y': i32 |
85 | [37; 38) 'y': i32 | 85 | 37..38 'y': i32 |
86 | "### | 86 | "### |
87 | ); | 87 | ); |
88 | } | 88 | } |
@@ -99,13 +99,13 @@ fn test() { | |||
99 | } | 99 | } |
100 | "#), | 100 | "#), |
101 | @r###" | 101 | @r###" |
102 | [11; 48) '{ ...&y]; }': () | 102 | 11..48 '{ ...&y]; }': () |
103 | [21; 22) 'y': &{unknown} | 103 | 21..22 'y': &{unknown} |
104 | [25; 32) 'unknown': &{unknown} | 104 | 25..32 'unknown': &{unknown} |
105 | [38; 45) '[y, &y]': [&&{unknown}; _] | 105 | 38..45 '[y, &y]': [&&{unknown}; _] |
106 | [39; 40) 'y': &{unknown} | 106 | 39..40 'y': &{unknown} |
107 | [42; 44) '&y': &&{unknown} | 107 | 42..44 '&y': &&{unknown} |
108 | [43; 44) 'y': &{unknown} | 108 | 43..44 'y': &{unknown} |
109 | "### | 109 | "### |
110 | ); | 110 | ); |
111 | } | 111 | } |
@@ -123,20 +123,20 @@ fn test() { | |||
123 | } | 123 | } |
124 | "#), | 124 | "#), |
125 | @r###" | 125 | @r###" |
126 | [11; 80) '{ ...x)]; }': () | 126 | 11..80 '{ ...x)]; }': () |
127 | [21; 22) 'x': &&{unknown} | 127 | 21..22 'x': &&{unknown} |
128 | [25; 32) 'unknown': &&{unknown} | 128 | 25..32 'unknown': &&{unknown} |
129 | [42; 43) 'y': &&{unknown} | 129 | 42..43 'y': &&{unknown} |
130 | [46; 53) 'unknown': &&{unknown} | 130 | 46..53 'unknown': &&{unknown} |
131 | [59; 77) '[(x, y..., &x)]': [(&&&{unknown}, &&&{unknown}); _] | 131 | 59..77 '[(x, y..., &x)]': [(&&&{unknown}, &&&{unknown}); _] |
132 | [60; 66) '(x, y)': (&&&{unknown}, &&&{unknown}) | 132 | 60..66 '(x, y)': (&&&{unknown}, &&&{unknown}) |
133 | [61; 62) 'x': &&{unknown} | 133 | 61..62 'x': &&{unknown} |
134 | [64; 65) 'y': &&{unknown} | 134 | 64..65 'y': &&{unknown} |
135 | [68; 76) '(&y, &x)': (&&&{unknown}, &&&{unknown}) | 135 | 68..76 '(&y, &x)': (&&&{unknown}, &&&{unknown}) |
136 | [69; 71) '&y': &&&{unknown} | 136 | 69..71 '&y': &&&{unknown} |
137 | [70; 71) 'y': &&{unknown} | 137 | 70..71 'y': &&{unknown} |
138 | [73; 75) '&x': &&&{unknown} | 138 | 73..75 '&x': &&&{unknown} |
139 | [74; 75) 'x': &&{unknown} | 139 | 74..75 'x': &&{unknown} |
140 | "### | 140 | "### |
141 | ); | 141 | ); |
142 | } | 142 | } |
@@ -158,12 +158,12 @@ fn write() { | |||
158 | } | 158 | } |
159 | "#), | 159 | "#), |
160 | @r###" | 160 | @r###" |
161 | [54; 139) '{ ... } }': () | 161 | 54..139 '{ ... } }': () |
162 | [60; 137) 'match ... }': () | 162 | 60..137 'match ... }': () |
163 | [66; 83) 'someth...nknown': Maybe<{unknown}> | 163 | 66..83 'someth...nknown': Maybe<{unknown}> |
164 | [94; 124) 'Maybe:...thing)': Maybe<{unknown}> | 164 | 94..124 'Maybe:...thing)': Maybe<{unknown}> |
165 | [106; 123) 'ref mu...ething': &mut {unknown} | 165 | 106..123 'ref mu...ething': &mut {unknown} |
166 | [128; 130) '()': () | 166 | 128..130 '()': () |
167 | "### | 167 | "### |
168 | ); | 168 | ); |
169 | } | 169 | } |
@@ -179,13 +179,13 @@ fn test_line_buffer() { | |||
179 | } | 179 | } |
180 | "#), | 180 | "#), |
181 | @r###" | 181 | @r###" |
182 | [23; 53) '{ ...n']; }': () | 182 | 23..53 '{ ...n']; }': () |
183 | [29; 50) '&[0, b...b'\n']': &[u8; _] | 183 | 29..50 '&[0, b...b'\n']': &[u8; _] |
184 | [30; 50) '[0, b'...b'\n']': [u8; _] | 184 | 30..50 '[0, b'...b'\n']': [u8; _] |
185 | [31; 32) '0': u8 | 185 | 31..32 '0': u8 |
186 | [34; 39) 'b'\n'': u8 | 186 | 34..39 'b'\n'': u8 |
187 | [41; 42) '1': u8 | 187 | 41..42 '1': u8 |
188 | [44; 49) 'b'\n'': u8 | 188 | 44..49 'b'\n'': u8 |
189 | "### | 189 | "### |
190 | ); | 190 | ); |
191 | } | 191 | } |
@@ -202,14 +202,14 @@ pub fn compute() { | |||
202 | } | 202 | } |
203 | "#), | 203 | "#), |
204 | @r###" | 204 | @r###" |
205 | [18; 108) '{ ... } }': () | 205 | 18..108 '{ ... } }': () |
206 | [24; 106) 'match ... }': () | 206 | 24..106 'match ... }': () |
207 | [30; 37) 'nope!()': {unknown} | 207 | 30..37 'nope!()': {unknown} |
208 | [48; 94) 'SizeSk...tail }': {unknown} | 208 | 48..94 'SizeSk...tail }': {unknown} |
209 | [82; 86) 'true': bool | 209 | 82..86 'true': bool |
210 | [82; 86) 'true': bool | 210 | 82..86 'true': bool |
211 | [88; 92) 'tail': {unknown} | 211 | 88..92 'tail': {unknown} |
212 | [98; 100) '{}': () | 212 | 98..100 '{}': () |
213 | "### | 213 | "### |
214 | ); | 214 | ); |
215 | } | 215 | } |
@@ -226,14 +226,14 @@ pub fn primitive_type() { | |||
226 | } | 226 | } |
227 | "#), | 227 | "#), |
228 | @r###" | 228 | @r###" |
229 | [25; 106) '{ ... } }': () | 229 | 25..106 '{ ... } }': () |
230 | [31; 104) 'match ... }': () | 230 | 31..104 'match ... }': () |
231 | [37; 42) '*self': {unknown} | 231 | 37..42 '*self': {unknown} |
232 | [38; 42) 'self': {unknown} | 232 | 38..42 'self': {unknown} |
233 | [53; 91) 'Borrow...), ..}': {unknown} | 233 | 53..91 'Borrow...), ..}': {unknown} |
234 | [74; 86) 'Primitive(p)': {unknown} | 234 | 74..86 'Primitive(p)': {unknown} |
235 | [84; 85) 'p': {unknown} | 235 | 84..85 'p': {unknown} |
236 | [95; 97) '{}': () | 236 | 95..97 '{}': () |
237 | "### | 237 | "### |
238 | ); | 238 | ); |
239 | } | 239 | } |
@@ -260,29 +260,29 @@ fn extra_compiler_flags() { | |||
260 | } | 260 | } |
261 | "#), | 261 | "#), |
262 | @r###" | 262 | @r###" |
263 | [27; 323) '{ ... } }': () | 263 | 27..323 '{ ... } }': () |
264 | [33; 321) 'for co... }': () | 264 | 33..321 'for co... }': () |
265 | [37; 44) 'content': &{unknown} | 265 | 37..44 'content': &{unknown} |
266 | [48; 61) 'doesnt_matter': {unknown} | 266 | 48..61 'doesnt_matter': {unknown} |
267 | [62; 321) '{ ... }': () | 267 | 62..321 '{ ... }': () |
268 | [76; 80) 'name': &&{unknown} | 268 | 76..80 'name': &&{unknown} |
269 | [83; 167) 'if doe... }': &&{unknown} | 269 | 83..167 'if doe... }': &&{unknown} |
270 | [86; 99) 'doesnt_matter': bool | 270 | 86..99 'doesnt_matter': bool |
271 | [100; 129) '{ ... }': &&{unknown} | 271 | 100..129 '{ ... }': &&{unknown} |
272 | [114; 119) 'first': &&{unknown} | 272 | 114..119 'first': &&{unknown} |
273 | [135; 167) '{ ... }': &&{unknown} | 273 | 135..167 '{ ... }': &&{unknown} |
274 | [149; 157) '&content': &&{unknown} | 274 | 149..157 '&content': &&{unknown} |
275 | [150; 157) 'content': &{unknown} | 275 | 150..157 'content': &{unknown} |
276 | [182; 189) 'content': &{unknown} | 276 | 182..189 'content': &{unknown} |
277 | [192; 314) 'if ICE... }': &{unknown} | 277 | 192..314 'if ICE... }': &{unknown} |
278 | [195; 232) 'ICE_RE..._VALUE': {unknown} | 278 | 195..232 'ICE_RE..._VALUE': {unknown} |
279 | [195; 248) 'ICE_RE...&name)': bool | 279 | 195..248 'ICE_RE...&name)': bool |
280 | [242; 247) '&name': &&&{unknown} | 280 | 242..247 '&name': &&&{unknown} |
281 | [243; 247) 'name': &&{unknown} | 281 | 243..247 'name': &&{unknown} |
282 | [249; 277) '{ ... }': &&{unknown} | 282 | 249..277 '{ ... }': &&{unknown} |
283 | [263; 267) 'name': &&{unknown} | 283 | 263..267 'name': &&{unknown} |
284 | [283; 314) '{ ... }': &{unknown} | 284 | 283..314 '{ ... }': &{unknown} |
285 | [297; 304) 'content': &{unknown} | 285 | 297..304 'content': &{unknown} |
286 | "### | 286 | "### |
287 | ); | 287 | ); |
288 | } | 288 | } |
@@ -303,11 +303,11 @@ fn test<R>(query_response: Canonical<QueryResponse<R>>) { | |||
303 | } | 303 | } |
304 | "#), | 304 | "#), |
305 | @r###" | 305 | @r###" |
306 | [92; 106) 'query_response': Canonical<QueryResponse<R>> | 306 | 92..106 'query_response': Canonical<QueryResponse<R>> |
307 | [137; 167) '{ ...lue; }': () | 307 | 137..167 '{ ...lue; }': () |
308 | [143; 164) '&query....value': &QueryResponse<R> | 308 | 143..164 '&query....value': &QueryResponse<R> |
309 | [144; 158) 'query_response': Canonical<QueryResponse<R>> | 309 | 144..158 'query_response': Canonical<QueryResponse<R>> |
310 | [144; 164) 'query_....value': QueryResponse<R> | 310 | 144..164 'query_....value': QueryResponse<R> |
311 | "### | 311 | "### |
312 | ); | 312 | ); |
313 | } | 313 | } |
@@ -322,9 +322,9 @@ fn test() { | |||
322 | } | 322 | } |
323 | "#), | 323 | "#), |
324 | @r###" | 324 | @r###" |
325 | ![0; 4) '0u32': u32 | 325 | !0..4 '0u32': u32 |
326 | [45; 70) '{ ...()); }': () | 326 | 45..70 '{ ...()); }': () |
327 | [55; 56) 'a': u32 | 327 | 55..56 'a': u32 |
328 | "### | 328 | "### |
329 | ); | 329 | ); |
330 | } | 330 | } |
@@ -345,10 +345,10 @@ pub fn main_loop() { | |||
345 | } | 345 | } |
346 | "#), | 346 | "#), |
347 | @r###" | 347 | @r###" |
348 | [144; 146) '{}': () | 348 | 144..146 '{}': () |
349 | [169; 198) '{ ...t(); }': () | 349 | 169..198 '{ ...t(); }': () |
350 | [175; 193) 'FxHash...efault': fn default<{unknown}, FxHasher>() -> HashSet<{unknown}, FxHasher> | 350 | 175..193 'FxHash...efault': fn default<{unknown}, FxHasher>() -> HashSet<{unknown}, FxHasher> |
351 | [175; 195) 'FxHash...ault()': HashSet<{unknown}, FxHasher> | 351 | 175..195 'FxHash...ault()': HashSet<{unknown}, FxHasher> |
352 | "### | 352 | "### |
353 | ); | 353 | ); |
354 | } | 354 | } |
@@ -375,13 +375,13 @@ fn issue_2669() { | |||
375 | }"# | 375 | }"# |
376 | ), | 376 | ), |
377 | @r###" | 377 | @r###" |
378 | [147; 262) '{ ... }': () | 378 | 147..262 '{ ... }': () |
379 | [161; 164) 'end': fn end<{unknown}>() | 379 | 161..164 'end': fn end<{unknown}>() |
380 | [161; 166) 'end()': () | 380 | 161..166 'end()': () |
381 | [199; 252) '{ ... }': () | 381 | 199..252 '{ ... }': () |
382 | [221; 223) '_x': ! | 382 | 221..223 '_x': ! |
383 | [230; 237) 'loop {}': ! | 383 | 230..237 'loop {}': ! |
384 | [235; 237) '{}': () | 384 | 235..237 '{}': () |
385 | "### | 385 | "### |
386 | ) | 386 | ) |
387 | } | 387 | } |
@@ -396,9 +396,9 @@ fn test() { | |||
396 | } | 396 | } |
397 | "#), | 397 | "#), |
398 | @r###" | 398 | @r###" |
399 | [26; 53) '{ ...oo() }': () | 399 | 26..53 '{ ...oo() }': () |
400 | [32; 49) '<Trait...>::foo': {unknown} | 400 | 32..49 '<Trait...>::foo': {unknown} |
401 | [32; 51) '<Trait...:foo()': () | 401 | 32..51 '<Trait...:foo()': () |
402 | "### | 402 | "### |
403 | ); | 403 | ); |
404 | } | 404 | } |
@@ -496,13 +496,13 @@ fn foo(params: &[usize]) { | |||
496 | } | 496 | } |
497 | "#), | 497 | "#), |
498 | @r###" | 498 | @r###" |
499 | [8; 14) 'params': &[usize] | 499 | 8..14 'params': &[usize] |
500 | [26; 81) '{ ... } }': () | 500 | 26..81 '{ ... } }': () |
501 | [32; 79) 'match ... }': () | 501 | 32..79 'match ... }': () |
502 | [38; 44) 'params': &[usize] | 502 | 38..44 'params': &[usize] |
503 | [55; 67) '[ps @ .., _]': [usize] | 503 | 55..67 '[ps @ .., _]': [usize] |
504 | [65; 66) '_': usize | 504 | 65..66 '_': usize |
505 | [71; 73) '{}': () | 505 | 71..73 '{}': () |
506 | "### | 506 | "### |
507 | ); | 507 | ); |
508 | } | 508 | } |
@@ -523,13 +523,13 @@ fn foo(b: Bar) { | |||
523 | } | 523 | } |
524 | "#), | 524 | "#), |
525 | @r###" | 525 | @r###" |
526 | [36; 37) 'b': Bar | 526 | 36..37 'b': Bar |
527 | [44; 96) '{ ... } }': () | 527 | 44..96 '{ ... } }': () |
528 | [50; 94) 'match ... }': () | 528 | 50..94 'match ... }': () |
529 | [56; 57) 'b': Bar | 529 | 56..57 'b': Bar |
530 | [68; 81) 'Bar { a: .. }': Bar | 530 | 68..81 'Bar { a: .. }': Bar |
531 | [77; 79) '..': bool | 531 | 77..79 '..': bool |
532 | [85; 87) '{}': () | 532 | 85..87 '{}': () |
533 | "### | 533 | "### |
534 | ); | 534 | ); |
535 | } | 535 | } |
@@ -564,13 +564,13 @@ where | |||
564 | } | 564 | } |
565 | "#), | 565 | "#), |
566 | @r###" | 566 | @r###" |
567 | [66; 70) 'self': Self | 567 | 66..70 'self': Self |
568 | [268; 272) 'self': Self | 568 | 268..272 'self': Self |
569 | [467; 471) 'self': SelectStatement<F, S, D, W, O, LOf, {unknown}, {unknown}> | 569 | 467..471 'self': SelectStatement<F, S, D, W, O, LOf, {unknown}, {unknown}> |
570 | [489; 523) '{ ... }': () | 570 | 489..523 '{ ... }': () |
571 | [499; 503) 'self': SelectStatement<F, S, D, W, O, LOf, {unknown}, {unknown}> | 571 | 499..503 'self': SelectStatement<F, S, D, W, O, LOf, {unknown}, {unknown}> |
572 | [499; 509) 'self.order': O | 572 | 499..509 'self.order': O |
573 | [499; 516) 'self.o...into()': dyn QueryFragment<DB> | 573 | 499..516 'self.o...into()': dyn QueryFragment<DB> |
574 | "### | 574 | "### |
575 | ); | 575 | ); |
576 | } | 576 | } |