@@ -254,7 +254,6 @@ fn test(a: u32, b: isize, c: !, d: &str) {
254
254
1.0f32;
255
255
}"# ) ,
256
256
@r###"
257
-
258
257
[9; 10) 'a': u32
259
258
[17; 18) 'b': isize
260
259
[27; 28) 'c': !
@@ -317,7 +316,6 @@ fn test() {
317
316
}
318
317
"# ) ,
319
318
@r###"
320
-
321
319
[15; 20) '{ 1 }': u32
322
320
[17; 18) '1': u32
323
321
[48; 53) '{ 1 }': u32
@@ -354,7 +352,7 @@ fn test() {
354
352
[66; 74) 'S::foo()': i32
355
353
[80; 88) '<S>::foo': fn foo() -> i32
356
354
[80; 90) '<S>::foo()': i32
357
- "###
355
+ "###
358
356
) ;
359
357
}
360
358
@@ -409,7 +407,6 @@ fn test() {
409
407
}
410
408
"# ) ,
411
409
@r###"
412
-
413
410
[72; 154) '{ ...a.c; }': ()
414
411
[82; 83) 'c': C
415
412
[86; 87) 'C': C(usize) -> C
@@ -443,7 +440,6 @@ fn test() {
443
440
E::V2;
444
441
}"# ) ,
445
442
@r###"
446
-
447
443
[48; 82) '{ E:...:V2; }': ()
448
444
[52; 70) 'E::V1 ...d: 1 }': E
449
445
[67; 68) '1': u32
@@ -471,7 +467,6 @@ fn test(a: &u32, b: &mut u32, c: *const u32, d: *mut u32) {
471
467
}
472
468
"# ) ,
473
469
@r###"
474
-
475
470
[9; 10) 'a': &u32
476
471
[18; 19) 'b': &mut u32
477
472
[31; 32) 'c': *const u32
@@ -524,7 +519,6 @@ fn test() {
524
519
}
525
520
"## ) ,
526
521
@r###"
527
-
528
522
[11; 221) '{ ...o"#; }': ()
529
523
[17; 21) '5i32': i32
530
524
[27; 31) '5f32': f32
@@ -568,7 +562,6 @@ fn test(x: SomeType) {
568
562
}
569
563
"# ) ,
570
564
@r###"
571
-
572
565
[27; 28) 'x': SomeType
573
566
[40; 272) '{ ...lo"; }': ()
574
567
[50; 51) 'b': bool
@@ -632,7 +625,6 @@ fn test() -> &mut &f64 {
632
625
}
633
626
"# ) ,
634
627
@r###"
635
-
636
628
[14; 15) 'x': u32
637
629
[22; 24) '{}': ()
638
630
[78; 231) '{ ...t &c }': &mut &f64
@@ -679,7 +671,6 @@ impl S {
679
671
}
680
672
"# ) ,
681
673
@r###"
682
-
683
674
[34; 38) 'self': &S
684
675
[40; 61) '{ ... }': ()
685
676
[50; 54) 'self': &S
@@ -719,7 +710,6 @@ fn test() -> bool {
719
710
}
720
711
"# ) ,
721
712
@r###"
722
-
723
713
[6; 7) 'x': bool
724
714
[22; 34) '{ 0i32 }': i32
725
715
[28; 32) '0i32': i32
@@ -802,7 +792,6 @@ fn test2(a1: *const A, a2: *mut A) {
802
792
}
803
793
"# ) ,
804
794
@r###"
805
-
806
795
[44; 45) 'a': A
807
796
[50; 213) '{ ...5.b; }': ()
808
797
[60; 62) 'a1': A
@@ -970,7 +959,7 @@ fn test(a: A<i32>) {
970
959
[374; 375) 'B': B<A<i32>>(T) -> B<T>
971
960
[374; 378) 'B(a)': B<A<i32>>
972
961
[376; 377) 'a': A<i32>
973
- "###
962
+ "###
974
963
) ;
975
964
}
976
965
@@ -983,7 +972,6 @@ fn test() {
983
972
}
984
973
"# ) ,
985
974
@r###"
986
-
987
975
[11; 37) '{ l... {}; }': ()
988
976
[20; 21) 'x': ()
989
977
[24; 34) 'if true {}': ()
@@ -1105,7 +1093,6 @@ fn test(a: A) {
1105
1093
}
1106
1094
"# ) ,
1107
1095
@r###"
1108
-
1109
1096
[32; 36) 'self': A
1110
1097
[38; 39) 'x': u32
1111
1098
[53; 55) '{}': ()
@@ -1142,7 +1129,6 @@ fn test() {
1142
1129
}
1143
1130
"# ) ,
1144
1131
@r###"
1145
-
1146
1132
[40; 44) 'self': &str
1147
1133
[53; 55) '{}': ()
1148
1134
[69; 89) '{ ...o(); }': ()
@@ -1166,7 +1152,6 @@ fn test(x: &str, y: isize) {
1166
1152
}
1167
1153
"# ) ,
1168
1154
@r###"
1169
-
1170
1155
[9; 10) 'x': &str
1171
1156
[18; 19) 'y': isize
1172
1157
[28; 170) '{ ...d"); }': ()
@@ -1367,7 +1352,6 @@ fn test() {
1367
1352
}
1368
1353
"# ) ,
1369
1354
@r###"
1370
-
1371
1355
[28; 79) '{ ...(1); }': ()
1372
1356
[38; 42) 'A(n)': A<i32>
1373
1357
[40; 41) 'n': &i32
@@ -1396,7 +1380,6 @@ fn test() {
1396
1380
}
1397
1381
"# ) ,
1398
1382
@r###"
1399
-
1400
1383
[11; 57) '{ ...= v; }': ()
1401
1384
[21; 22) 'v': &(i32, &i32)
1402
1385
[25; 33) '&(1, &2)': &(i32, &i32)
@@ -1441,7 +1424,6 @@ fn test() {
1441
1424
}
1442
1425
"# ) ,
1443
1426
@r###"
1444
-
1445
1427
[68; 289) '{ ... d; }': ()
1446
1428
[78; 79) 'e': E
1447
1429
[82; 95) 'E::A { x: 3 }': E
@@ -1488,7 +1470,6 @@ fn test(a1: A<u32>, i: i32) {
1488
1470
}
1489
1471
"# ) ,
1490
1472
@r###"
1491
-
1492
1473
[36; 38) 'a1': A<u32>
1493
1474
[48; 49) 'i': i32
1494
1475
[56; 147) '{ ...3.x; }': ()
@@ -1569,7 +1550,6 @@ fn test(a1: A<u32>, o: Option<u64>) {
1569
1550
}
1570
1551
"# ) ,
1571
1552
@r###"
1572
-
1573
1553
[79; 81) 'a1': A<u32>
1574
1554
[91; 92) 'o': Option<u64>
1575
1555
[107; 244) '{ ... }; }': ()
@@ -1604,7 +1584,6 @@ fn test() {
1604
1584
}
1605
1585
"# ) ,
1606
1586
@r###"
1607
-
1608
1587
[10; 11) 't': T
1609
1588
[21; 26) '{ t }': T
1610
1589
[23; 24) 't': T
@@ -1652,7 +1631,6 @@ fn test() -> i128 {
1652
1631
}
1653
1632
"# ) ,
1654
1633
@r###"
1655
-
1656
1634
[74; 78) 'self': A<X, Y>
1657
1635
[85; 107) '{ ... }': X
1658
1636
[95; 99) 'self': A<X, Y>
@@ -1706,7 +1684,6 @@ fn test(o: Option<u32>) {
1706
1684
}
1707
1685
"# ) ,
1708
1686
@r###"
1709
-
1710
1687
[78; 82) 'self': &Option<T>
1711
1688
[98; 100) '{}': ()
1712
1689
[111; 112) 'o': Option<u32>
@@ -1744,7 +1721,6 @@ fn test() -> i128 {
1744
1721
}
1745
1722
"# ) ,
1746
1723
@r###"
1747
-
1748
1724
[53; 57) 'self': A<T2>
1749
1725
[65; 87) '{ ... }': T2
1750
1726
[75; 79) 'self': A<T2>
@@ -1921,7 +1897,6 @@ fn test() {
1921
1897
}
1922
1898
"# ) ,
1923
1899
@r###"
1924
-
1925
1900
[56; 64) '{ A {} }': A
1926
1901
[58; 62) 'A {}': A
1927
1902
[126; 132) '{ 99 }': u32
@@ -1961,7 +1936,6 @@ fn test() {
1961
1936
}
1962
1937
"# ) ,
1963
1938
@r###"
1964
-
1965
1939
[64; 67) 'val': T
1966
1940
[82; 109) '{ ... }': Gen<T>
1967
1941
[92; 103) 'Gen { val }': Gen<T>
@@ -2129,7 +2103,6 @@ fn test(x: X) {
2129
2103
}
2130
2104
"# ) ,
2131
2105
@r###"
2132
-
2133
2106
[20; 21) 'x': X
2134
2107
[26; 47) '{ ...eld; }': ()
2135
2108
[32; 33) 'x': X
@@ -2151,7 +2124,6 @@ fn test() {
2151
2124
}
2152
2125
"# ) ,
2153
2126
@r###"
2154
-
2155
2127
[11; 89) '{ ... } }': ()
2156
2128
[17; 21) 'X {}': {unknown}
2157
2129
[27; 87) 'match ... }': ()
@@ -2174,7 +2146,6 @@ fn quux() {
2174
2146
}
2175
2147
"# ) ,
2176
2148
@r###"
2177
-
2178
2149
[11; 41) '{ ...+ y; }': ()
2179
2150
[21; 22) 'y': i32
2180
2151
[25; 27) '92': i32
@@ -2300,7 +2271,6 @@ fn write() {
2300
2271
}
2301
2272
"# ) ,
2302
2273
@r###"
2303
-
2304
2274
[54; 139) '{ ... } }': ()
2305
2275
[60; 137) 'match ... }': ()
2306
2276
[66; 83) 'someth...nknown': Maybe<{unknown}>
@@ -2322,7 +2292,6 @@ fn test_line_buffer() {
2322
2292
}
2323
2293
"# ) ,
2324
2294
@r###"
2325
-
2326
2295
[23; 53) '{ ...n']; }': ()
2327
2296
[29; 50) '&[0, b...b'\n']': &[u8;_]
2328
2297
[30; 50) '[0, b'...b'\n']': [u8;_]
@@ -2446,7 +2415,6 @@ fn test<R>(query_response: Canonical<QueryResponse<R>>) {
2446
2415
}
2447
2416
"# ) ,
2448
2417
@r###"
2449
-
2450
2418
[92; 106) 'query_response': Canonical<QueryResponse<R>>
2451
2419
[137; 167) '{ ...lue; }': ()
2452
2420
[143; 164) '&query....value': &QueryResponse<R>
@@ -2472,7 +2440,6 @@ pub fn main_loop() {
2472
2440
}
2473
2441
"# ) ,
2474
2442
@r###"
2475
-
2476
2443
[144; 146) '{}': ()
2477
2444
[169; 198) '{ ...t(); }': ()
2478
2445
[175; 193) 'FxHash...efault': fn default<{unknown}, FxHasher>() -> HashSet<T, H>
@@ -2518,7 +2485,6 @@ fn test() {
2518
2485
}
2519
2486
"# ) ,
2520
2487
@r###"
2521
-
2522
2488
[49; 50) '0': u32
2523
2489
[80; 83) '101': u32
2524
2490
[95; 213) '{ ...NST; }': ()
@@ -2549,7 +2515,6 @@ fn test() {
2549
2515
}
2550
2516
"# ) ,
2551
2517
@r###"
2552
-
2553
2518
[29; 32) '101': u32
2554
2519
[70; 73) '101': u32
2555
2520
[85; 280) '{ ...MUT; }': ()
@@ -2588,7 +2553,6 @@ fn test() {
2588
2553
}
2589
2554
"# ) ,
2590
2555
@r###"
2591
-
2592
2556
[31; 35) 'self': &Self
2593
2557
[110; 114) 'self': &Self
2594
2558
[170; 228) '{ ...i128 }': ()
@@ -2636,7 +2600,6 @@ mod bar_test {
2636
2600
}
2637
2601
"# ) ,
2638
2602
@r###"
2639
-
2640
2603
[63; 67) 'self': &Self
2641
2604
[169; 173) 'self': &Self
2642
2605
[300; 337) '{ ... }': ()
@@ -2664,7 +2627,6 @@ fn test() {
2664
2627
}
2665
2628
"# ) ,
2666
2629
@r###"
2667
-
2668
2630
[33; 37) 'self': &Self
2669
2631
[92; 111) '{ ...d(); }': ()
2670
2632
[98; 99) 'S': S
@@ -2694,7 +2656,6 @@ fn test() {
2694
2656
}
2695
2657
"# ) ,
2696
2658
@r###"
2697
-
2698
2659
[43; 47) 'self': &Self
2699
2660
[82; 86) 'self': &Self
2700
2661
[210; 361) '{ ..., i8 }': ()
@@ -2725,7 +2686,6 @@ fn test() {
2725
2686
}
2726
2687
"# ) ,
2727
2688
@r###"
2728
-
2729
2689
[33; 37) 'self': &Self
2730
2690
[102; 127) '{ ...d(); }': ()
2731
2691
[108; 109) 'S': S<u32>(T) -> S<T>
@@ -3130,7 +3090,6 @@ fn test<T: Iterable<Item=u32>>() {
3130
3090
}
3131
3091
"# ) ,
3132
3092
@r###"
3133
-
3134
3093
[67; 100) '{ ...own; }': ()
3135
3094
[77; 78) 'y': {unknown}
3136
3095
[90; 97) 'unknown': {unknown}
@@ -3146,7 +3105,6 @@ const A: u32 = 1 + 1;
3146
3105
static B: u64 = { let x = 1; x };
3147
3106
"# ) ,
3148
3107
@r###"
3149
-
3150
3108
[16; 17) '1': u32
3151
3109
[16; 21) '1 + 1': u32
3152
3110
[20; 21) '1': u32
@@ -3170,7 +3128,6 @@ fn test() -> u64 {
3170
3128
}
3171
3129
"# ) ,
3172
3130
@r###"
3173
-
3174
3131
[38; 87) '{ ... a.1 }': u64
3175
3132
[48; 49) 'a': S
3176
3133
[52; 53) 'S': S(i32, u64) -> S
@@ -3225,7 +3182,6 @@ fn indexing_arrays() {
3225
3182
assert_snapshot ! (
3226
3183
infer( "fn main() { &mut [9][2]; }" ) ,
3227
3184
@r###"
3228
-
3229
3185
[10; 26) '{ &mut...[2]; }': ()
3230
3186
[12; 23) '&mut [9][2]': &mut {unknown}
3231
3187
[17; 20) '[9]': [i32;_]
@@ -4822,9 +4778,9 @@ fn main() {
4822
4778
}
4823
4779
"# ) ,
4824
4780
@r###"
4825
- ![0; 1) '6': i32
4826
- [64; 88) '{ ...!(); }': ()
4827
- [74; 75) 'x': i32
4781
+ ![0; 1) '6': i32
4782
+ [64; 88) '{ ...!(); }': ()
4783
+ [74; 75) 'x': i32
4828
4784
"###
4829
4785
) ;
4830
4786
}
0 commit comments