diff options
Diffstat (limited to 'crates/ra_hir_ty/src/tests/never_type.rs')
-rw-r--r-- | crates/ra_hir_ty/src/tests/never_type.rs | 190 |
1 files changed, 95 insertions, 95 deletions
diff --git a/crates/ra_hir_ty/src/tests/never_type.rs b/crates/ra_hir_ty/src/tests/never_type.rs index 082c47208..ab9a990f5 100644 --- a/crates/ra_hir_ty/src/tests/never_type.rs +++ b/crates/ra_hir_ty/src/tests/never_type.rs | |||
@@ -291,40 +291,40 @@ fn test6() { | |||
291 | true, | 291 | true, |
292 | ); | 292 | ); |
293 | assert_snapshot!(t, @r###" | 293 | assert_snapshot!(t, @r###" |
294 | 25..53 '{ ...urn; }': () | 294 | 11..39 '{ ...urn; }': () |
295 | 35..36 'x': u32 | 295 | 21..22 'x': u32 |
296 | 44..50 'return': ! | 296 | 30..36 'return': ! |
297 | 65..98 '{ ...; }; }': () | 297 | 51..84 '{ ...; }; }': () |
298 | 75..76 'x': u32 | 298 | 61..62 'x': u32 |
299 | 84..95 '{ return; }': u32 | 299 | 70..81 '{ return; }': u32 |
300 | 86..92 'return': ! | 300 | 72..78 'return': ! |
301 | 110..139 '{ ... {}; }': () | 301 | 96..125 '{ ... {}; }': () |
302 | 120..121 'x': u32 | 302 | 106..107 'x': u32 |
303 | 129..136 'loop {}': ! | 303 | 115..122 'loop {}': ! |
304 | 134..136 '{}': () | 304 | 120..122 '{}': () |
305 | 151..184 '{ ...} }; }': () | 305 | 137..170 '{ ...} }; }': () |
306 | 161..162 'x': u32 | 306 | 147..148 'x': u32 |
307 | 170..181 '{ loop {} }': u32 | 307 | 156..167 '{ loop {} }': u32 |
308 | 172..179 'loop {}': ! | 308 | 158..165 'loop {}': ! |
309 | 177..179 '{}': () | 309 | 163..165 '{}': () |
310 | 196..260 '{ ...} }; }': () | 310 | 182..246 '{ ...} }; }': () |
311 | 206..207 'x': u32 | 311 | 192..193 'x': u32 |
312 | 215..257 '{ if t...}; } }': u32 | 312 | 201..243 '{ if t...}; } }': u32 |
313 | 217..255 'if tru... {}; }': u32 | 313 | 203..241 'if tru... {}; }': u32 |
314 | 220..224 'true': bool | 314 | 206..210 'true': bool |
315 | 225..237 '{ loop {}; }': u32 | 315 | 211..223 '{ loop {}; }': u32 |
316 | 227..234 'loop {}': ! | 316 | 213..220 'loop {}': ! |
317 | 232..234 '{}': () | 317 | 218..220 '{}': () |
318 | 243..255 '{ loop {}; }': u32 | 318 | 229..241 '{ loop {}; }': u32 |
319 | 245..252 'loop {}': ! | 319 | 231..238 'loop {}': ! |
320 | 250..252 '{}': () | 320 | 236..238 '{}': () |
321 | 272..324 '{ ...; }; }': () | 321 | 258..310 '{ ...; }; }': () |
322 | 282..283 'x': u32 | 322 | 268..269 'x': u32 |
323 | 291..321 '{ let ...; }; }': u32 | 323 | 277..307 '{ let ...; }; }': u32 |
324 | 297..298 'y': u32 | 324 | 283..284 'y': u32 |
325 | 306..318 '{ loop {}; }': u32 | 325 | 292..304 '{ loop {}; }': u32 |
326 | 308..315 'loop {}': ! | 326 | 294..301 'loop {}': ! |
327 | 313..315 '{}': () | 327 | 299..301 '{}': () |
328 | "###); | 328 | "###); |
329 | } | 329 | } |
330 | 330 | ||
@@ -341,14 +341,14 @@ fn test1() { | |||
341 | true, | 341 | true, |
342 | ); | 342 | ); |
343 | assert_snapshot!(t, @r###" | 343 | assert_snapshot!(t, @r###" |
344 | 25..98 '{ ..." }; }': () | 344 | 11..84 '{ ..." }; }': () |
345 | 68..69 'x': u32 | 345 | 54..55 'x': u32 |
346 | 77..95 '{ loop...foo" }': &str | 346 | 63..81 '{ loop...foo" }': &str |
347 | 79..86 'loop {}': ! | 347 | 65..72 'loop {}': ! |
348 | 84..86 '{}': () | 348 | 70..72 '{}': () |
349 | 88..93 '"foo"': &str | 349 | 74..79 '"foo"': &str |
350 | 77..95: expected u32, got &str | 350 | 63..81: expected u32, got &str |
351 | 88..93: expected u32, got &str | 351 | 74..79: expected u32, got &str |
352 | "###); | 352 | "###); |
353 | } | 353 | } |
354 | 354 | ||
@@ -381,58 +381,58 @@ fn test3() { | |||
381 | true, | 381 | true, |
382 | ); | 382 | ); |
383 | assert_snapshot!(t, @r###" | 383 | assert_snapshot!(t, @r###" |
384 | 25..99 '{ ...} }; }': () | 384 | 11..85 '{ ...} }; }': () |
385 | 68..69 'x': u32 | 385 | 54..55 'x': u32 |
386 | 77..96 '{ loop...k; } }': () | 386 | 63..82 '{ loop...k; } }': () |
387 | 79..94 'loop { break; }': () | 387 | 65..80 'loop { break; }': () |
388 | 84..94 '{ break; }': () | 388 | 70..80 '{ break; }': () |
389 | 86..91 'break': ! | 389 | 72..77 'break': ! |
390 | 77..96: expected u32, got () | 390 | 63..82: expected u32, got () |
391 | 79..94: expected u32, got () | 391 | 65..80: expected u32, got () |
392 | 111..357 '{ ...; }; }': () | 392 | 97..343 '{ ...; }; }': () |
393 | 154..155 'x': u32 | 393 | 140..141 'x': u32 |
394 | 163..189 '{ for ...; }; }': () | 394 | 149..175 '{ for ...; }; }': () |
395 | 165..186 'for a ...eak; }': () | 395 | 151..172 'for a ...eak; }': () |
396 | 169..170 'a': {unknown} | 396 | 155..156 'a': {unknown} |
397 | 174..175 'b': {unknown} | 397 | 160..161 'b': {unknown} |
398 | 176..186 '{ break; }': () | 398 | 162..172 '{ break; }': () |
399 | 178..183 'break': ! | 399 | 164..169 'break': ! |
400 | 240..241 'x': u32 | 400 | 226..227 'x': u32 |
401 | 249..267 '{ for ... {}; }': () | 401 | 235..253 '{ for ... {}; }': () |
402 | 251..264 'for a in b {}': () | 402 | 237..250 'for a in b {}': () |
403 | 255..256 'a': {unknown} | 403 | 241..242 'a': {unknown} |
404 | 260..261 'b': {unknown} | 404 | 246..247 'b': {unknown} |
405 | 262..264 '{}': () | 405 | 248..250 '{}': () |
406 | 318..319 'x': u32 | 406 | 304..305 'x': u32 |
407 | 327..354 '{ for ...; }; }': () | 407 | 313..340 '{ for ...; }; }': () |
408 | 329..351 'for a ...urn; }': () | 408 | 315..337 'for a ...urn; }': () |
409 | 333..334 'a': {unknown} | 409 | 319..320 'a': {unknown} |
410 | 338..339 'b': {unknown} | 410 | 324..325 'b': {unknown} |
411 | 340..351 '{ return; }': () | 411 | 326..337 '{ return; }': () |
412 | 342..348 'return': ! | 412 | 328..334 'return': ! |
413 | 163..189: expected u32, got () | 413 | 149..175: expected u32, got () |
414 | 249..267: expected u32, got () | 414 | 235..253: expected u32, got () |
415 | 327..354: expected u32, got () | 415 | 313..340: expected u32, got () |
416 | 369..668 '{ ...; }; }': () | 416 | 355..654 '{ ...; }; }': () |
417 | 412..413 'x': u32 | 417 | 398..399 'x': u32 |
418 | 421..447 '{ whil...; }; }': () | 418 | 407..433 '{ whil...; }; }': () |
419 | 423..444 'while ...eak; }': () | 419 | 409..430 'while ...eak; }': () |
420 | 429..433 'true': bool | 420 | 415..419 'true': bool |
421 | 434..444 '{ break; }': () | 421 | 420..430 '{ break; }': () |
422 | 436..441 'break': ! | 422 | 422..427 'break': ! |
423 | 551..552 'x': u32 | 423 | 537..538 'x': u32 |
424 | 560..578 '{ whil... {}; }': () | 424 | 546..564 '{ whil... {}; }': () |
425 | 562..575 'while true {}': () | 425 | 548..561 'while true {}': () |
426 | 568..572 'true': bool | 426 | 554..558 'true': bool |
427 | 573..575 '{}': () | 427 | 559..561 '{}': () |
428 | 629..630 'x': u32 | 428 | 615..616 'x': u32 |
429 | 638..665 '{ whil...; }; }': () | 429 | 624..651 '{ whil...; }; }': () |
430 | 640..662 'while ...urn; }': () | 430 | 626..648 'while ...urn; }': () |
431 | 646..650 'true': bool | 431 | 632..636 'true': bool |
432 | 651..662 '{ return; }': () | 432 | 637..648 '{ return; }': () |
433 | 653..659 'return': ! | 433 | 639..645 'return': ! |
434 | 421..447: expected u32, got () | 434 | 407..433: expected u32, got () |
435 | 560..578: expected u32, got () | 435 | 546..564: expected u32, got () |
436 | 638..665: expected u32, got () | 436 | 624..651: expected u32, got () |
437 | "###); | 437 | "###); |
438 | } | 438 | } |