Merge from rustc

The Miri Cronjob Bot · The Miri Cronjob Bot · commit 8b30bfc6ed19 · 2024-08-17T05:02:50.000Z
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,
