diff --git a/rust/extractor/src/nightly-toolchain/rust-toolchain.toml b/rust/extractor/src/nightly-toolchain/rust-toolchain.toml
index 4e2d228630e..7ed21df9121 100644
--- a/rust/extractor/src/nightly-toolchain/rust-toolchain.toml
+++ b/rust/extractor/src/nightly-toolchain/rust-toolchain.toml
@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2026-01-22"
+channel = "nightly-2025-06-01"
 components = [ "rust-src" ]
diff --git a/rust/ql/test/extractor-tests/generated/NeverTypeRepr/NeverTypeRepr.expected b/rust/ql/test/extractor-tests/generated/NeverTypeRepr/NeverTypeRepr.expected
index 7e8d7f8718b..c02b6c82354 100644
--- a/rust/ql/test/extractor-tests/generated/NeverTypeRepr/NeverTypeRepr.expected
+++ b/rust/ql/test/extractor-tests/generated/NeverTypeRepr/NeverTypeRepr.expected
@@ -1,2 +1 @@
 | gen_never_type_repr.rs:7:17:7:17 | ! |
-| gen_never_type_repr.rs:7:21:7:26 | ! |
diff --git a/rust/ql/test/library-tests/controlflow/BasicBlocks.expected b/rust/ql/test/library-tests/controlflow/BasicBlocks.expected
index 80357ae29f8..94760d6875e 100644
--- a/rust/ql/test/library-tests/controlflow/BasicBlocks.expected
+++ b/rust/ql/test/library-tests/controlflow/BasicBlocks.expected
@@ -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 |
diff --git a/rust/ql/test/library-tests/controlflow/Cfg.expected b/rust/ql/test/library-tests/controlflow/Cfg.expected
index ef97a3b628f..25fb8f29e04 100644
--- a/rust/ql/test/library-tests/controlflow/Cfg.expected
+++ b/rust/ql/test/library-tests/controlflow/Cfg.expected
@@ -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 |  |
diff --git a/rust/ql/test/library-tests/type-inference/type-inference.expected b/rust/ql/test/library-tests/type-inference/type-inference.expected
index 1b750fab458..a2322cdf929 100644
--- a/rust/ql/test/library-tests/type-inference/type-inference.expected
+++ b/rust/ql/test/library-tests/type-inference/type-inference.expected
@@ -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 |
diff --git a/rust/ql/test/rust-toolchain.toml b/rust/ql/test/rust-toolchain.toml
index 15f54ec6b42..9343bef27c6 100644
--- a/rust/ql/test/rust-toolchain.toml
+++ b/rust/ql/test/rust-toolchain.toml
@@ -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" ]