From 8522ba2aa40483e6e805e2cb590fe043e12cb47f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Tue, 17 Dec 2024 15:11:56 +0100
Subject: [PATCH] chore: upgrade toolchain channel to `nightly-2024-12-15`

---
 rust-toolchain.toml | 2 +-
 src/lib.rs          | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 09e63649a5..7e6d974307 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -1,5 +1,5 @@
 [toolchain]
-channel = "nightly-2024-12-01"
+channel = "nightly-2024-12-15"
 components = [
     "llvm-tools",
     "rust-src",
diff --git a/src/lib.rs b/src/lib.rs
index b6824cff2b..1fa098e19f 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -15,7 +15,6 @@
 #![feature(maybe_uninit_slice)]
 #![feature(naked_functions)]
 #![feature(never_type)]
-#![feature(noop_waker)]
 #![feature(slice_from_ptr_range)]
 #![feature(slice_ptr_get)]
 #![cfg_attr(