Skip to content

Commit e113632

Browse files
committed
Rust: accept test changes
1 parent 24f3d9e commit e113632

File tree

4 files changed

+21
-29
lines changed

4 files changed

+21
-29
lines changed
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
| gen_never_type_repr.rs:7:17:7:17 | ! |
2+
| gen_never_type_repr.rs:7:21:7:26 | ! |

rust/ql/test/library-tests/controlflow/BasicBlocks.expected

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -743,13 +743,15 @@ dominates
743743
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | [boolean(true)] ! ... |
744744
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | if ... {...} |
745745
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | ExprStmt |
746+
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | enter fn panic_cold_explicit |
746747
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:533:21:533:48 | [boolean(false)] ! ... |
747748
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:19 | ExprStmt |
748749
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:21:533:48 | [boolean(true)] ! ... |
749750
| test.rs:533:21:533:48 | if ... {...} | test.rs:533:21:533:48 | if ... {...} |
750751
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:539:5:548:5 | enter fn const_block_panic |
751752
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:541:9:546:9 | if false {...} |
752753
| test.rs:541:9:546:9 | if false {...} | test.rs:541:9:546:9 | if false {...} |
754+
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | enter fn panic_cold_explicit |
753755
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:551:1:556:1 | enter fn dead_code |
754756
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:553:9:553:17 | ExprStmt |
755757
| test.rs:553:9:553:17 | ExprStmt | test.rs:553:9:553:17 | ExprStmt |
@@ -1422,6 +1424,7 @@ postDominance
14221424
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:529:5:537:5 | enter fn const_block_assert |
14231425
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | ExprStmt |
14241426
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:21:533:48 | [boolean(true)] ! ... |
1427+
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | enter fn panic_cold_explicit |
14251428
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:533:21:533:48 | [boolean(false)] ! ... |
14261429
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:21:533:48 | [boolean(true)] ! ... |
14271430
| test.rs:533:21:533:48 | if ... {...} | test.rs:529:5:537:5 | enter fn const_block_assert |
@@ -1432,6 +1435,7 @@ postDominance
14321435
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:539:5:548:5 | enter fn const_block_panic |
14331436
| test.rs:541:9:546:9 | if false {...} | test.rs:539:5:548:5 | enter fn const_block_panic |
14341437
| test.rs:541:9:546:9 | if false {...} | test.rs:541:9:546:9 | if false {...} |
1438+
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | enter fn panic_cold_explicit |
14351439
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:551:1:556:1 | enter fn dead_code |
14361440
| test.rs:553:9:553:17 | ExprStmt | test.rs:551:1:556:1 | enter fn dead_code |
14371441
| test.rs:553:9:553:17 | ExprStmt | test.rs:553:9:553:17 | ExprStmt |

rust/ql/test/library-tests/controlflow/Cfg.expected

Lines changed: 16 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1288,13 +1288,20 @@ edges
12881288
| test.rs:529:41:537:5 | { ... } | test.rs:529:5:537:5 | exit fn const_block_assert (normal) | |
12891289
| test.rs:532:9:534:9 | ExprStmt | test.rs:533:13:533:50 | ExprStmt | |
12901290
| test.rs:532:9:534:9 | { ... } | test.rs:536:9:536:10 | 42 | |
1291-
| test.rs:533:13:533:19 | "explicit panic" | test.rs:533:13:533:19 | ...::panic(...) | |
1292-
| test.rs:533:13:533:19 | ...::panic | test.rs:533:13:533:19 | "explicit panic" | |
1293-
| test.rs:533:13:533:19 | ...::panic(...) | test.rs:533:13:533:19 | { ... } | |
12941291
| test.rs:533:13:533:19 | ...::panic_2021!... | test.rs:533:13:533:19 | MacroExpr | |
1295-
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | ...::panic | |
1292+
| test.rs:533:13:533:19 | ...::panic_explicit | test.rs:533:13:533:19 | ...::panic_explicit(...) | |
1293+
| test.rs:533:13:533:19 | ...::panic_explicit(...) | test.rs:533:13:533:19 | { ... } | |
1294+
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | fn panic_cold_explicit | |
1295+
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | panic_cold_explicit | |
12961296
| test.rs:533:13:533:19 | MacroExpr | test.rs:533:13:533:19 | { ... } | |
1297+
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | ...::panic_explicit | |
1298+
| test.rs:533:13:533:19 | exit fn panic_cold_explicit (normal) | test.rs:533:13:533:19 | exit fn panic_cold_explicit | |
1299+
| test.rs:533:13:533:19 | fn panic_cold_explicit | test.rs:533:13:533:19 | ExprStmt | |
1300+
| test.rs:533:13:533:19 | panic_cold_explicit | test.rs:533:13:533:19 | panic_cold_explicit(...) | |
1301+
| test.rs:533:13:533:19 | panic_cold_explicit(...) | test.rs:533:13:533:19 | { ... } | |
12971302
| test.rs:533:13:533:19 | { ... } | test.rs:533:13:533:19 | ...::panic_2021!... | |
1303+
| test.rs:533:13:533:19 | { ... } | test.rs:533:13:533:19 | exit fn panic_cold_explicit (normal) | |
1304+
| test.rs:533:13:533:19 | { ... } | test.rs:533:13:533:19 | { ... } | |
12981305
| test.rs:533:13:533:19 | { ... } | test.rs:533:21:533:48 | if ... {...} | |
12991306
| test.rs:533:13:533:49 | MacroExpr | test.rs:532:9:534:9 | { ... } | |
13001307
| test.rs:533:13:533:49 | assert!... | test.rs:533:13:533:49 | MacroExpr | |
@@ -1317,6 +1324,11 @@ edges
13171324
| test.rs:541:9:546:9 | ExprStmt | test.rs:541:12:541:16 | false | |
13181325
| test.rs:541:9:546:9 | if false {...} | test.rs:547:9:547:9 | N | |
13191326
| test.rs:541:12:541:16 | false | test.rs:541:9:546:9 | if false {...} | false |
1327+
| test.rs:544:17:544:22 | ...::panic_explicit | test.rs:544:17:544:22 | ...::panic_explicit(...) | |
1328+
| test.rs:544:17:544:22 | ...::panic_explicit(...) | test.rs:544:17:544:22 | { ... } | |
1329+
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | ...::panic_explicit | |
1330+
| test.rs:544:17:544:22 | exit fn panic_cold_explicit (normal) | test.rs:544:17:544:22 | exit fn panic_cold_explicit | |
1331+
| test.rs:544:17:544:22 | { ... } | test.rs:544:17:544:22 | exit fn panic_cold_explicit (normal) | |
13201332
| test.rs:547:9:547:9 | N | test.rs:539:35:548:5 | { ... } | |
13211333
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:552:5:554:5 | ExprStmt | |
13221334
| test.rs:551:1:556:1 | exit fn dead_code (normal) | test.rs:551:1:556:1 | exit fn dead_code | |

rust/ql/test/library-tests/type-inference/type-inference.expected

Lines changed: 0 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -788,14 +788,12 @@ inferCertainType
788788
| dereference.rs:116:5:116:5 | x | | dereference.rs:18:1:20:1 | MySmartPointer |
789789
| dereference.rs:143:19:151:5 | { ... } | | {EXTERNAL LOCATION} | () |
790790
| dereference.rs:144:17:144:26 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
791-
| dereference.rs:144:17:144:26 | key_to_key | A | {EXTERNAL LOCATION} | Global |
792791
| dereference.rs:144:17:144:26 | key_to_key | K | {EXTERNAL LOCATION} | & |
793792
| dereference.rs:144:17:144:26 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
794793
| dereference.rs:144:17:144:26 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
795794
| dereference.rs:144:17:144:26 | key_to_key | V | {EXTERNAL LOCATION} | & |
796795
| dereference.rs:144:17:144:26 | key_to_key | V.TRef | dereference.rs:122:5:123:21 | Key |
797796
| dereference.rs:144:30:144:57 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
798-
| dereference.rs:144:30:144:57 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
799797
| dereference.rs:144:30:144:57 | ...::new(...) | K | {EXTERNAL LOCATION} | & |
800798
| dereference.rs:144:30:144:57 | ...::new(...) | K.TRef | dereference.rs:122:5:123:21 | Key |
801799
| dereference.rs:144:30:144:57 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
@@ -806,7 +804,6 @@ inferCertainType
806804
| dereference.rs:145:24:145:29 | Key {...} | | dereference.rs:122:5:123:21 | Key |
807805
| dereference.rs:146:9:149:9 | if ... {...} | | {EXTERNAL LOCATION} | () |
808806
| dereference.rs:146:32:146:41 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
809-
| dereference.rs:146:32:146:41 | key_to_key | A | {EXTERNAL LOCATION} | Global |
810807
| dereference.rs:146:32:146:41 | key_to_key | K | {EXTERNAL LOCATION} | & |
811808
| dereference.rs:146:32:146:41 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
812809
| dereference.rs:146:32:146:41 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
@@ -816,7 +813,6 @@ inferCertainType
816813
| dereference.rs:146:52:149:9 | { ... } | | {EXTERNAL LOCATION} | () |
817814
| dereference.rs:148:13:148:15 | key | | {EXTERNAL LOCATION} | & |
818815
| dereference.rs:150:9:150:18 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
819-
| dereference.rs:150:9:150:18 | key_to_key | A | {EXTERNAL LOCATION} | Global |
820816
| dereference.rs:150:9:150:18 | key_to_key | K | {EXTERNAL LOCATION} | & |
821817
| dereference.rs:150:9:150:18 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
822818
| dereference.rs:150:9:150:18 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
@@ -3354,46 +3350,38 @@ inferCertainType
33543350
| main.rs:2345:13:2346:13 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
33553351
| main.rs:2345:29:2346:13 | { ... } | | {EXTERNAL LOCATION} | () |
33563352
| main.rs:2349:17:2349:20 | map1 | | {EXTERNAL LOCATION} | HashMap |
3357-
| main.rs:2349:17:2349:20 | map1 | A | {EXTERNAL LOCATION} | Global |
33583353
| main.rs:2349:17:2349:20 | map1 | S | {EXTERNAL LOCATION} | RandomState |
33593354
| main.rs:2349:24:2349:55 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
3360-
| main.rs:2349:24:2349:55 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
33613355
| main.rs:2349:24:2349:55 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
33623356
| main.rs:2350:9:2350:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
3363-
| main.rs:2350:9:2350:12 | map1 | A | {EXTERNAL LOCATION} | Global |
33643357
| main.rs:2350:9:2350:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
33653358
| main.rs:2350:24:2350:38 | ...::new(...) | | {EXTERNAL LOCATION} | Box |
33663359
| main.rs:2350:24:2350:38 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
33673360
| main.rs:2350:33:2350:37 | "one" | | {EXTERNAL LOCATION} | & |
33683361
| main.rs:2350:33:2350:37 | "one" | TRef | {EXTERNAL LOCATION} | str |
33693362
| main.rs:2351:9:2351:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
3370-
| main.rs:2351:9:2351:12 | map1 | A | {EXTERNAL LOCATION} | Global |
33713363
| main.rs:2351:9:2351:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
33723364
| main.rs:2351:24:2351:38 | ...::new(...) | | {EXTERNAL LOCATION} | Box |
33733365
| main.rs:2351:24:2351:38 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
33743366
| main.rs:2351:33:2351:37 | "two" | | {EXTERNAL LOCATION} | & |
33753367
| main.rs:2351:33:2351:37 | "two" | TRef | {EXTERNAL LOCATION} | str |
33763368
| main.rs:2352:9:2352:33 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
33773369
| main.rs:2352:20:2352:23 | map1 | | {EXTERNAL LOCATION} | HashMap |
3378-
| main.rs:2352:20:2352:23 | map1 | A | {EXTERNAL LOCATION} | Global |
33793370
| main.rs:2352:20:2352:23 | map1 | S | {EXTERNAL LOCATION} | RandomState |
33803371
| main.rs:2352:32:2352:33 | { ... } | | {EXTERNAL LOCATION} | () |
33813372
| main.rs:2353:9:2353:37 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
33823373
| main.rs:2353:22:2353:25 | map1 | | {EXTERNAL LOCATION} | HashMap |
3383-
| main.rs:2353:22:2353:25 | map1 | A | {EXTERNAL LOCATION} | Global |
33843374
| main.rs:2353:22:2353:25 | map1 | S | {EXTERNAL LOCATION} | RandomState |
33853375
| main.rs:2353:36:2353:37 | { ... } | | {EXTERNAL LOCATION} | () |
33863376
| main.rs:2354:9:2354:42 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
33873377
| main.rs:2354:13:2354:24 | TuplePat | | {EXTERNAL LOCATION} | (T_2) |
33883378
| main.rs:2354:29:2354:32 | map1 | | {EXTERNAL LOCATION} | HashMap |
3389-
| main.rs:2354:29:2354:32 | map1 | A | {EXTERNAL LOCATION} | Global |
33903379
| main.rs:2354:29:2354:32 | map1 | S | {EXTERNAL LOCATION} | RandomState |
33913380
| main.rs:2354:41:2354:42 | { ... } | | {EXTERNAL LOCATION} | () |
33923381
| main.rs:2355:9:2355:36 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
33933382
| main.rs:2355:13:2355:24 | TuplePat | | {EXTERNAL LOCATION} | (T_2) |
33943383
| main.rs:2355:29:2355:33 | &map1 | | {EXTERNAL LOCATION} | & |
33953384
| main.rs:2355:30:2355:33 | map1 | | {EXTERNAL LOCATION} | HashMap |
3396-
| main.rs:2355:30:2355:33 | map1 | A | {EXTERNAL LOCATION} | Global |
33973385
| main.rs:2355:30:2355:33 | map1 | S | {EXTERNAL LOCATION} | RandomState |
33983386
| main.rs:2355:35:2355:36 | { ... } | | {EXTERNAL LOCATION} | () |
33993387
| main.rs:2359:17:2359:17 | a | | {EXTERNAL LOCATION} | i64 |
@@ -6464,14 +6452,12 @@ inferType
64646452
| dereference.rs:116:12:116:12 | 0 | | {EXTERNAL LOCATION} | i32 |
64656453
| dereference.rs:143:19:151:5 | { ... } | | {EXTERNAL LOCATION} | () |
64666454
| dereference.rs:144:17:144:26 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
6467-
| dereference.rs:144:17:144:26 | key_to_key | A | {EXTERNAL LOCATION} | Global |
64686455
| dereference.rs:144:17:144:26 | key_to_key | K | {EXTERNAL LOCATION} | & |
64696456
| dereference.rs:144:17:144:26 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
64706457
| dereference.rs:144:17:144:26 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
64716458
| dereference.rs:144:17:144:26 | key_to_key | V | {EXTERNAL LOCATION} | & |
64726459
| dereference.rs:144:17:144:26 | key_to_key | V.TRef | dereference.rs:122:5:123:21 | Key |
64736460
| dereference.rs:144:30:144:57 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
6474-
| dereference.rs:144:30:144:57 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
64756461
| dereference.rs:144:30:144:57 | ...::new(...) | K | {EXTERNAL LOCATION} | & |
64766462
| dereference.rs:144:30:144:57 | ...::new(...) | K.TRef | dereference.rs:122:5:123:21 | Key |
64776463
| dereference.rs:144:30:144:57 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
@@ -6497,7 +6483,6 @@ inferType
64976483
| dereference.rs:146:21:146:27 | ref_key | TRef | {EXTERNAL LOCATION} | & |
64986484
| dereference.rs:146:21:146:27 | ref_key | TRef.TRef | dereference.rs:122:5:123:21 | Key |
64996485
| dereference.rs:146:32:146:41 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
6500-
| dereference.rs:146:32:146:41 | key_to_key | A | {EXTERNAL LOCATION} | Global |
65016486
| dereference.rs:146:32:146:41 | key_to_key | K | {EXTERNAL LOCATION} | & |
65026487
| dereference.rs:146:32:146:41 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
65036488
| dereference.rs:146:32:146:41 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
@@ -6523,7 +6508,6 @@ inferType
65236508
| dereference.rs:148:19:148:25 | ref_key | TRef | {EXTERNAL LOCATION} | & |
65246509
| dereference.rs:148:19:148:25 | ref_key | TRef.TRef | dereference.rs:122:5:123:21 | Key |
65256510
| dereference.rs:150:9:150:18 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
6526-
| dereference.rs:150:9:150:18 | key_to_key | A | {EXTERNAL LOCATION} | Global |
65276511
| dereference.rs:150:9:150:18 | key_to_key | K | {EXTERNAL LOCATION} | & |
65286512
| dereference.rs:150:9:150:18 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
65296513
| dereference.rs:150:9:150:18 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
@@ -11278,23 +11262,20 @@ inferType
1127811262
| main.rs:2345:13:2346:13 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
1127911263
| main.rs:2345:29:2346:13 | { ... } | | {EXTERNAL LOCATION} | () |
1128011264
| main.rs:2349:17:2349:20 | map1 | | {EXTERNAL LOCATION} | HashMap |
11281-
| main.rs:2349:17:2349:20 | map1 | A | {EXTERNAL LOCATION} | Global |
1128211265
| main.rs:2349:17:2349:20 | map1 | K | {EXTERNAL LOCATION} | i32 |
1128311266
| main.rs:2349:17:2349:20 | map1 | S | {EXTERNAL LOCATION} | RandomState |
1128411267
| main.rs:2349:17:2349:20 | map1 | V | {EXTERNAL LOCATION} | Box |
1128511268
| main.rs:2349:17:2349:20 | map1 | V.A | {EXTERNAL LOCATION} | Global |
1128611269
| main.rs:2349:17:2349:20 | map1 | V.T | {EXTERNAL LOCATION} | & |
1128711270
| main.rs:2349:17:2349:20 | map1 | V.T.TRef | {EXTERNAL LOCATION} | str |
1128811271
| main.rs:2349:24:2349:55 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
11289-
| main.rs:2349:24:2349:55 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
1129011272
| main.rs:2349:24:2349:55 | ...::new(...) | K | {EXTERNAL LOCATION} | i32 |
1129111273
| main.rs:2349:24:2349:55 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
1129211274
| main.rs:2349:24:2349:55 | ...::new(...) | V | {EXTERNAL LOCATION} | Box |
1129311275
| main.rs:2349:24:2349:55 | ...::new(...) | V.A | {EXTERNAL LOCATION} | Global |
1129411276
| main.rs:2349:24:2349:55 | ...::new(...) | V.T | {EXTERNAL LOCATION} | & |
1129511277
| main.rs:2349:24:2349:55 | ...::new(...) | V.T.TRef | {EXTERNAL LOCATION} | str |
1129611278
| main.rs:2350:9:2350:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
11297-
| main.rs:2350:9:2350:12 | map1 | A | {EXTERNAL LOCATION} | Global |
1129811279
| main.rs:2350:9:2350:12 | map1 | K | {EXTERNAL LOCATION} | i32 |
1129911280
| main.rs:2350:9:2350:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
1130011281
| main.rs:2350:9:2350:12 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11314,7 +11295,6 @@ inferType
1131411295
| main.rs:2350:33:2350:37 | "one" | | {EXTERNAL LOCATION} | & |
1131511296
| main.rs:2350:33:2350:37 | "one" | TRef | {EXTERNAL LOCATION} | str |
1131611297
| main.rs:2351:9:2351:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
11317-
| main.rs:2351:9:2351:12 | map1 | A | {EXTERNAL LOCATION} | Global |
1131811298
| main.rs:2351:9:2351:12 | map1 | K | {EXTERNAL LOCATION} | i32 |
1131911299
| main.rs:2351:9:2351:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
1132011300
| main.rs:2351:9:2351:12 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11337,7 +11317,6 @@ inferType
1133711317
| main.rs:2352:13:2352:15 | key | | {EXTERNAL LOCATION} | & |
1133811318
| main.rs:2352:13:2352:15 | key | TRef | {EXTERNAL LOCATION} | i32 |
1133911319
| main.rs:2352:20:2352:23 | map1 | | {EXTERNAL LOCATION} | HashMap |
11340-
| main.rs:2352:20:2352:23 | map1 | A | {EXTERNAL LOCATION} | Global |
1134111320
| main.rs:2352:20:2352:23 | map1 | K | {EXTERNAL LOCATION} | i32 |
1134211321
| main.rs:2352:20:2352:23 | map1 | S | {EXTERNAL LOCATION} | RandomState |
1134311322
| main.rs:2352:20:2352:23 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11358,7 +11337,6 @@ inferType
1135811337
| main.rs:2353:13:2353:17 | value | TRef.T | {EXTERNAL LOCATION} | & |
1135911338
| main.rs:2353:13:2353:17 | value | TRef.T.TRef | {EXTERNAL LOCATION} | str |
1136011339
| main.rs:2353:22:2353:25 | map1 | | {EXTERNAL LOCATION} | HashMap |
11361-
| main.rs:2353:22:2353:25 | map1 | A | {EXTERNAL LOCATION} | Global |
1136211340
| main.rs:2353:22:2353:25 | map1 | K | {EXTERNAL LOCATION} | i32 |
1136311341
| main.rs:2353:22:2353:25 | map1 | S | {EXTERNAL LOCATION} | RandomState |
1136411342
| main.rs:2353:22:2353:25 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11389,7 +11367,6 @@ inferType
1138911367
| main.rs:2354:19:2354:23 | value | TRef.T | {EXTERNAL LOCATION} | & |
1139011368
| main.rs:2354:19:2354:23 | value | TRef.T.TRef | {EXTERNAL LOCATION} | str |
1139111369
| main.rs:2354:29:2354:32 | map1 | | {EXTERNAL LOCATION} | HashMap |
11392-
| main.rs:2354:29:2354:32 | map1 | A | {EXTERNAL LOCATION} | Global |
1139311370
| main.rs:2354:29:2354:32 | map1 | K | {EXTERNAL LOCATION} | i32 |
1139411371
| main.rs:2354:29:2354:32 | map1 | S | {EXTERNAL LOCATION} | RandomState |
1139511372
| main.rs:2354:29:2354:32 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11421,15 +11398,13 @@ inferType
1142111398
| main.rs:2355:19:2355:23 | value | TRef.T.TRef | {EXTERNAL LOCATION} | str |
1142211399
| main.rs:2355:29:2355:33 | &map1 | | {EXTERNAL LOCATION} | & |
1142311400
| main.rs:2355:29:2355:33 | &map1 | TRef | {EXTERNAL LOCATION} | HashMap |
11424-
| main.rs:2355:29:2355:33 | &map1 | TRef.A | {EXTERNAL LOCATION} | Global |
1142511401
| main.rs:2355:29:2355:33 | &map1 | TRef.K | {EXTERNAL LOCATION} | i32 |
1142611402
| main.rs:2355:29:2355:33 | &map1 | TRef.S | {EXTERNAL LOCATION} | RandomState |
1142711403
| main.rs:2355:29:2355:33 | &map1 | TRef.V | {EXTERNAL LOCATION} | Box |
1142811404
| main.rs:2355:29:2355:33 | &map1 | TRef.V.A | {EXTERNAL LOCATION} | Global |
1142911405
| main.rs:2355:29:2355:33 | &map1 | TRef.V.T | {EXTERNAL LOCATION} | & |
1143011406
| main.rs:2355:29:2355:33 | &map1 | TRef.V.T.TRef | {EXTERNAL LOCATION} | str |
1143111407
| main.rs:2355:30:2355:33 | map1 | | {EXTERNAL LOCATION} | HashMap |
11432-
| main.rs:2355:30:2355:33 | map1 | A | {EXTERNAL LOCATION} | Global |
1143311408
| main.rs:2355:30:2355:33 | map1 | K | {EXTERNAL LOCATION} | i32 |
1143411409
| main.rs:2355:30:2355:33 | map1 | S | {EXTERNAL LOCATION} | RandomState |
1143511410
| main.rs:2355:30:2355:33 | map1 | V | {EXTERNAL LOCATION} | Box |

0 commit comments

Comments
 (0)