hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-23 10:23:41 +01:00
Code Issues Packages Projects Releases Wiki Activity

Revert rust-toolchain.toml changes and update test expectations

Browse Source
This commit is contained in:
Paolo Tranquilli
2026-02-18 13:56:48 +01:00
parent 116f5a253c
commit 24f3d9ede0
6 changed files with 31 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/extractor/src/nightly-toolchain/rust-toolchain.toml
View File

@@ -1,3 +1,3 @@
[toolchain]
channel = "nightly-2026-01-22"
channel = "nightly-2025-06-01"
components = [ "rust-src" ]

1
rust/ql/test/extractor-tests/generated/NeverTypeRepr/NeverTypeRepr.expected
View File

@@ -1,2 +1 @@
| gen_never_type_repr.rs:7:17:7:17 | ! |
| gen_never_type_repr.rs:7:21:7:26 | ! |

4
rust/ql/test/library-tests/controlflow/BasicBlocks.expected
View File

@@ -743,7 +743,6 @@ dominates
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:533:21:533:48 | if ... {...} |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | ExprStmt |
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | enter fn panic_cold_explicit |
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:533:21:533:48 | [boolean(false)] ! ... |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:13:533:19 | ExprStmt |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:21:533:48 | [boolean(true)] ! ... |
@@ -751,7 +750,6 @@ dominates
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:539:5:548:5 | enter fn const_block_panic |
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:541:9:546:9 | if false {...} |
| test.rs:541:9:546:9 | if false {...} | test.rs:541:9:546:9 | if false {...} |
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | enter fn panic_cold_explicit |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:551:1:556:1 | enter fn dead_code |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:553:9:553:17 | ExprStmt |
| test.rs:553:9:553:17 | ExprStmt | test.rs:553:9:553:17 | ExprStmt |
@@ -1424,7 +1422,6 @@ postDominance
| test.rs:529:5:537:5 | enter fn const_block_assert | test.rs:529:5:537:5 | enter fn const_block_assert |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | ExprStmt |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | enter fn panic_cold_explicit |
| test.rs:533:21:533:48 | [boolean(false)] ! ... | test.rs:533:21:533:48 | [boolean(false)] ! ... |
| test.rs:533:21:533:48 | [boolean(true)] ! ... | test.rs:533:21:533:48 | [boolean(true)] ! ... |
| test.rs:533:21:533:48 | if ... {...} | test.rs:529:5:537:5 | enter fn const_block_assert |
@@ -1435,7 +1432,6 @@ postDominance
| test.rs:539:5:548:5 | enter fn const_block_panic | test.rs:539:5:548:5 | enter fn const_block_panic |
| test.rs:541:9:546:9 | if false {...} | test.rs:539:5:548:5 | enter fn const_block_panic |
| test.rs:541:9:546:9 | if false {...} | test.rs:541:9:546:9 | if false {...} |
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | enter fn panic_cold_explicit |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:551:1:556:1 | enter fn dead_code |
| test.rs:553:9:553:17 | ExprStmt | test.rs:551:1:556:1 | enter fn dead_code |
| test.rs:553:9:553:17 | ExprStmt | test.rs:553:9:553:17 | ExprStmt |

20
rust/ql/test/library-tests/controlflow/Cfg.expected
View File

@@ -1288,20 +1288,13 @@ edges
| test.rs:529:41:537:5 | { ... } | test.rs:529:5:537:5 | exit fn const_block_assert (normal) | |
| test.rs:532:9:534:9 | ExprStmt | test.rs:533:13:533:50 | ExprStmt | |
| test.rs:532:9:534:9 | { ... } | test.rs:536:9:536:10 | 42 | |
| test.rs:533:13:533:19 | "explicit panic" | test.rs:533:13:533:19 | ...::panic(...) | |
| test.rs:533:13:533:19 | ...::panic | test.rs:533:13:533:19 | "explicit panic" | |
| test.rs:533:13:533:19 | ...::panic(...) | test.rs:533:13:533:19 | { ... } | |
| test.rs:533:13:533:19 | ...::panic_2021!... | test.rs:533:13:533:19 | MacroExpr | |
| test.rs:533:13:533:19 | ...::panic_explicit | test.rs:533:13:533:19 | ...::panic_explicit(...) | |
| test.rs:533:13:533:19 | ...::panic_explicit(...) | test.rs:533:13:533:19 | { ... } | |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | fn panic_cold_explicit | |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | panic_cold_explicit | |
| test.rs:533:13:533:19 | ExprStmt | test.rs:533:13:533:19 | ...::panic | |
| test.rs:533:13:533:19 | MacroExpr | test.rs:533:13:533:19 | { ... } | |
| test.rs:533:13:533:19 | enter fn panic_cold_explicit | test.rs:533:13:533:19 | ...::panic_explicit | |
| test.rs:533:13:533:19 | exit fn panic_cold_explicit (normal) | test.rs:533:13:533:19 | exit fn panic_cold_explicit | |
| test.rs:533:13:533:19 | fn panic_cold_explicit | test.rs:533:13:533:19 | ExprStmt | |
| test.rs:533:13:533:19 | panic_cold_explicit | test.rs:533:13:533:19 | panic_cold_explicit(...) | |
| test.rs:533:13:533:19 | panic_cold_explicit(...) | test.rs:533:13:533:19 | { ... } | |
| test.rs:533:13:533:19 | { ... } | test.rs:533:13:533:19 | ...::panic_2021!... | |
| test.rs:533:13:533:19 | { ... } | test.rs:533:13:533:19 | exit fn panic_cold_explicit (normal) | |
| test.rs:533:13:533:19 | { ... } | test.rs:533:13:533:19 | { ... } | |
| test.rs:533:13:533:19 | { ... } | test.rs:533:21:533:48 | if ... {...} | |
| test.rs:533:13:533:49 | MacroExpr | test.rs:532:9:534:9 | { ... } | |
| test.rs:533:13:533:49 | assert!... | test.rs:533:13:533:49 | MacroExpr | |
@@ -1324,11 +1317,6 @@ edges
| test.rs:541:9:546:9 | ExprStmt | test.rs:541:12:541:16 | false | |
| test.rs:541:9:546:9 | if false {...} | test.rs:547:9:547:9 | N | |
| test.rs:541:12:541:16 | false | test.rs:541:9:546:9 | if false {...} | false |
| test.rs:544:17:544:22 | ...::panic_explicit | test.rs:544:17:544:22 | ...::panic_explicit(...) | |
| test.rs:544:17:544:22 | ...::panic_explicit(...) | test.rs:544:17:544:22 | { ... } | |
| test.rs:544:17:544:22 | enter fn panic_cold_explicit | test.rs:544:17:544:22 | ...::panic_explicit | |
| test.rs:544:17:544:22 | exit fn panic_cold_explicit (normal) | test.rs:544:17:544:22 | exit fn panic_cold_explicit | |
| test.rs:544:17:544:22 | { ... } | test.rs:544:17:544:22 | exit fn panic_cold_explicit (normal) | |
| test.rs:547:9:547:9 | N | test.rs:539:35:548:5 | { ... } | |
| test.rs:551:1:556:1 | enter fn dead_code | test.rs:552:5:554:5 | ExprStmt | |
| test.rs:551:1:556:1 | exit fn dead_code (normal) | test.rs:551:1:556:1 | exit fn dead_code | |

25
rust/ql/test/library-tests/type-inference/type-inference.expected
View File

@@ -788,12 +788,14 @@ inferCertainType
| dereference.rs:116:5:116:5 | x | | dereference.rs:18:1:20:1 | MySmartPointer |
| dereference.rs:143:19:151:5 | { ... } | | {EXTERNAL LOCATION} | () |
| dereference.rs:144:17:144:26 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
| dereference.rs:144:17:144:26 | key_to_key | A | {EXTERNAL LOCATION} | Global |
| dereference.rs:144:17:144:26 | key_to_key | K | {EXTERNAL LOCATION} | & |
| dereference.rs:144:17:144:26 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:144:17:144:26 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
| dereference.rs:144:17:144:26 | key_to_key | V | {EXTERNAL LOCATION} | & |
| dereference.rs:144:17:144:26 | key_to_key | V.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:144:30:144:57 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
| dereference.rs:144:30:144:57 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
| dereference.rs:144:30:144:57 | ...::new(...) | K | {EXTERNAL LOCATION} | & |
| dereference.rs:144:30:144:57 | ...::new(...) | K.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:144:30:144:57 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
@@ -804,6 +806,7 @@ inferCertainType
| dereference.rs:145:24:145:29 | Key {...} | | dereference.rs:122:5:123:21 | Key |
| dereference.rs:146:9:149:9 | if ... {...} | | {EXTERNAL LOCATION} | () |
| dereference.rs:146:32:146:41 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
| dereference.rs:146:32:146:41 | key_to_key | A | {EXTERNAL LOCATION} | Global |
| dereference.rs:146:32:146:41 | key_to_key | K | {EXTERNAL LOCATION} | & |
| dereference.rs:146:32:146:41 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:146:32:146:41 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
@@ -813,6 +816,7 @@ inferCertainType
| dereference.rs:146:52:149:9 | { ... } | | {EXTERNAL LOCATION} | () |
| dereference.rs:148:13:148:15 | key | | {EXTERNAL LOCATION} | & |
| dereference.rs:150:9:150:18 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
| dereference.rs:150:9:150:18 | key_to_key | A | {EXTERNAL LOCATION} | Global |
| dereference.rs:150:9:150:18 | key_to_key | K | {EXTERNAL LOCATION} | & |
| dereference.rs:150:9:150:18 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:150:9:150:18 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
@@ -3350,16 +3354,20 @@ inferCertainType
| main.rs:2345:13:2346:13 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2345:29:2346:13 | { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2349:17:2349:20 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2349:17:2349:20 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2349:17:2349:20 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2349:24:2349:55 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2349:24:2349:55 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
| main.rs:2349:24:2349:55 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2350:9:2350:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2350:9:2350:12 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2350:9:2350:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2350:24:2350:38 | ...::new(...) | | {EXTERNAL LOCATION} | Box |
| main.rs:2350:24:2350:38 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
| main.rs:2350:33:2350:37 | "one" | | {EXTERNAL LOCATION} | & |
| main.rs:2350:33:2350:37 | "one" | TRef | {EXTERNAL LOCATION} | str |
| main.rs:2351:9:2351:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2351:9:2351:12 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2351:9:2351:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2351:24:2351:38 | ...::new(...) | | {EXTERNAL LOCATION} | Box |
| main.rs:2351:24:2351:38 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
@@ -3367,21 +3375,25 @@ inferCertainType
| main.rs:2351:33:2351:37 | "two" | TRef | {EXTERNAL LOCATION} | str |
| main.rs:2352:9:2352:33 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2352:20:2352:23 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2352:20:2352:23 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2352:20:2352:23 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2352:32:2352:33 | { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2353:9:2353:37 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2353:22:2353:25 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2353:22:2353:25 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2353:22:2353:25 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2353:36:2353:37 | { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2354:9:2354:42 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2354:13:2354:24 | TuplePat | | {EXTERNAL LOCATION} | (T_2) |
| main.rs:2354:29:2354:32 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2354:29:2354:32 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2354:29:2354:32 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2354:41:2354:42 | { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2355:9:2355:36 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2355:13:2355:24 | TuplePat | | {EXTERNAL LOCATION} | (T_2) |
| main.rs:2355:29:2355:33 | &map1 | | {EXTERNAL LOCATION} | & |
| main.rs:2355:30:2355:33 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2355:30:2355:33 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2355:30:2355:33 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2355:35:2355:36 | { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2359:17:2359:17 | a | | {EXTERNAL LOCATION} | i64 |
@@ -6452,12 +6464,14 @@ inferType
| dereference.rs:116:12:116:12 | 0 | | {EXTERNAL LOCATION} | i32 |
| dereference.rs:143:19:151:5 | { ... } | | {EXTERNAL LOCATION} | () |
| dereference.rs:144:17:144:26 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
| dereference.rs:144:17:144:26 | key_to_key | A | {EXTERNAL LOCATION} | Global |
| dereference.rs:144:17:144:26 | key_to_key | K | {EXTERNAL LOCATION} | & |
| dereference.rs:144:17:144:26 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:144:17:144:26 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
| dereference.rs:144:17:144:26 | key_to_key | V | {EXTERNAL LOCATION} | & |
| dereference.rs:144:17:144:26 | key_to_key | V.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:144:30:144:57 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
| dereference.rs:144:30:144:57 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
| dereference.rs:144:30:144:57 | ...::new(...) | K | {EXTERNAL LOCATION} | & |
| dereference.rs:144:30:144:57 | ...::new(...) | K.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:144:30:144:57 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
@@ -6483,6 +6497,7 @@ inferType
| dereference.rs:146:21:146:27 | ref_key | TRef | {EXTERNAL LOCATION} | & |
| dereference.rs:146:21:146:27 | ref_key | TRef.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:146:32:146:41 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
| dereference.rs:146:32:146:41 | key_to_key | A | {EXTERNAL LOCATION} | Global |
| dereference.rs:146:32:146:41 | key_to_key | K | {EXTERNAL LOCATION} | & |
| dereference.rs:146:32:146:41 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:146:32:146:41 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
@@ -6508,6 +6523,7 @@ inferType
| dereference.rs:148:19:148:25 | ref_key | TRef | {EXTERNAL LOCATION} | & |
| dereference.rs:148:19:148:25 | ref_key | TRef.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:150:9:150:18 | key_to_key | | {EXTERNAL LOCATION} | HashMap |
| dereference.rs:150:9:150:18 | key_to_key | A | {EXTERNAL LOCATION} | Global |
| dereference.rs:150:9:150:18 | key_to_key | K | {EXTERNAL LOCATION} | & |
| dereference.rs:150:9:150:18 | key_to_key | K.TRef | dereference.rs:122:5:123:21 | Key |
| dereference.rs:150:9:150:18 | key_to_key | S | {EXTERNAL LOCATION} | RandomState |
@@ -11262,6 +11278,7 @@ inferType
| main.rs:2345:13:2346:13 | for ... in ... { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2345:29:2346:13 | { ... } | | {EXTERNAL LOCATION} | () |
| main.rs:2349:17:2349:20 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2349:17:2349:20 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2349:17:2349:20 | map1 | K | {EXTERNAL LOCATION} | i32 |
| main.rs:2349:17:2349:20 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2349:17:2349:20 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11269,6 +11286,7 @@ inferType
| main.rs:2349:17:2349:20 | map1 | V.T | {EXTERNAL LOCATION} | & |
| main.rs:2349:17:2349:20 | map1 | V.T.TRef | {EXTERNAL LOCATION} | str |
| main.rs:2349:24:2349:55 | ...::new(...) | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2349:24:2349:55 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
| main.rs:2349:24:2349:55 | ...::new(...) | K | {EXTERNAL LOCATION} | i32 |
| main.rs:2349:24:2349:55 | ...::new(...) | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2349:24:2349:55 | ...::new(...) | V | {EXTERNAL LOCATION} | Box |
@@ -11276,6 +11294,7 @@ inferType
| main.rs:2349:24:2349:55 | ...::new(...) | V.T | {EXTERNAL LOCATION} | & |
| main.rs:2349:24:2349:55 | ...::new(...) | V.T.TRef | {EXTERNAL LOCATION} | str |
| main.rs:2350:9:2350:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2350:9:2350:12 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2350:9:2350:12 | map1 | K | {EXTERNAL LOCATION} | i32 |
| main.rs:2350:9:2350:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2350:9:2350:12 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11295,6 +11314,7 @@ inferType
| main.rs:2350:33:2350:37 | "one" | | {EXTERNAL LOCATION} | & |
| main.rs:2350:33:2350:37 | "one" | TRef | {EXTERNAL LOCATION} | str |
| main.rs:2351:9:2351:12 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2351:9:2351:12 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2351:9:2351:12 | map1 | K | {EXTERNAL LOCATION} | i32 |
| main.rs:2351:9:2351:12 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2351:9:2351:12 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11317,6 +11337,7 @@ inferType
| main.rs:2352:13:2352:15 | key | | {EXTERNAL LOCATION} | & |
| main.rs:2352:13:2352:15 | key | TRef | {EXTERNAL LOCATION} | i32 |
| main.rs:2352:20:2352:23 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2352:20:2352:23 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2352:20:2352:23 | map1 | K | {EXTERNAL LOCATION} | i32 |
| main.rs:2352:20:2352:23 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2352:20:2352:23 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11337,6 +11358,7 @@ inferType
| main.rs:2353:13:2353:17 | value | TRef.T | {EXTERNAL LOCATION} | & |
| main.rs:2353:13:2353:17 | value | TRef.T.TRef | {EXTERNAL LOCATION} | str |
| main.rs:2353:22:2353:25 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2353:22:2353:25 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2353:22:2353:25 | map1 | K | {EXTERNAL LOCATION} | i32 |
| main.rs:2353:22:2353:25 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2353:22:2353:25 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11367,6 +11389,7 @@ inferType
| main.rs:2354:19:2354:23 | value | TRef.T | {EXTERNAL LOCATION} | & |
| main.rs:2354:19:2354:23 | value | TRef.T.TRef | {EXTERNAL LOCATION} | str |
| main.rs:2354:29:2354:32 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2354:29:2354:32 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2354:29:2354:32 | map1 | K | {EXTERNAL LOCATION} | i32 |
| main.rs:2354:29:2354:32 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2354:29:2354:32 | map1 | V | {EXTERNAL LOCATION} | Box |
@@ -11398,6 +11421,7 @@ inferType
| main.rs:2355:19:2355:23 | value | TRef.T.TRef | {EXTERNAL LOCATION} | str |
| main.rs:2355:29:2355:33 | &map1 | | {EXTERNAL LOCATION} | & |
| main.rs:2355:29:2355:33 | &map1 | TRef | {EXTERNAL LOCATION} | HashMap |
| main.rs:2355:29:2355:33 | &map1 | TRef.A | {EXTERNAL LOCATION} | Global |
| main.rs:2355:29:2355:33 | &map1 | TRef.K | {EXTERNAL LOCATION} | i32 |
| main.rs:2355:29:2355:33 | &map1 | TRef.S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2355:29:2355:33 | &map1 | TRef.V | {EXTERNAL LOCATION} | Box |
@@ -11405,6 +11429,7 @@ inferType
| main.rs:2355:29:2355:33 | &map1 | TRef.V.T | {EXTERNAL LOCATION} | & |
| main.rs:2355:29:2355:33 | &map1 | TRef.V.T.TRef | {EXTERNAL LOCATION} | str |
| main.rs:2355:30:2355:33 | map1 | | {EXTERNAL LOCATION} | HashMap |
| main.rs:2355:30:2355:33 | map1 | A | {EXTERNAL LOCATION} | Global |
| main.rs:2355:30:2355:33 | map1 | K | {EXTERNAL LOCATION} | i32 |
| main.rs:2355:30:2355:33 | map1 | S | {EXTERNAL LOCATION} | RandomState |
| main.rs:2355:30:2355:33 | map1 | V | {EXTERNAL LOCATION} | Box |

2
rust/ql/test/rust-toolchain.toml
View File

@@ -2,6 +2,6 @@
# IMPORTANT: this can also have an impact on QL test results
[toolchain]
channel = "1.93"
channel = "1.90"
profile = "minimal"
components = [ "rust-src" ]