Auto merge of #3817 - rust-lang:rustup-2024-08-17, r=RalfJung

bors · bors · commit d6acdc1f9505 · 2024-08-17T09:33:36.000Z
Automatic Rustup
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-e9c965df7b75ab5b1ae8f9a2680839ac1a1a3880
+f24a6ba06f4190d8ec4f22d1baa800e64b1900cb
diff --git a/src/lib.rs b/src/lib.rs
@@ -12,7 +12,6 @@
 #![feature(let_chains)]
 #![feature(trait_upcasting)]
 #![feature(strict_overflow_ops)]
-#![feature(is_none_or)]
 // Configure clippy and other lints
 #![allow(
     clippy::collapsible_else_if,
