Auto merge of #3138 - rust-lang:rustup-2023-10-24, r=RalfJung

bors · bors · commit d9c0021cf748 · 2023-10-24T06:30:10.000Z
Automatic Rustup
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-62fae2305e5f3a959bd6ad6c20608c118e93648a
+f1a5ce19f5aa0cf61ed7b9f75b30e610befeed72
diff --git a/tests/utils/mod.rs b/tests/utils/mod.rs
@@ -1,4 +1,5 @@
 #![allow(dead_code)]
+#![allow(unused_imports)]
 
 #[macro_use]
 mod macros;
