From 8a097d27b5c313632ae08d40a4c3b7775c299432 Mon Sep 17 00:00:00 2001
From: Alice Ryhl <alice@ryhl.io>
Date: Thu, 26 Aug 2021 23:06:58 +0200
Subject: [PATCH] util: add safety comment to assume_init (#4075)

---
 tokio/src/util/wake_list.rs | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/tokio/src/util/wake_list.rs b/tokio/src/util/wake_list.rs
index 2a5268adb56..aa569dd17b6 100644
--- a/tokio/src/util/wake_list.rs
+++ b/tokio/src/util/wake_list.rs
@@ -12,7 +12,13 @@ pub(crate) struct WakeList {
 impl WakeList {
     pub(crate) fn new() -> Self {
         Self {
-            inner: unsafe { MaybeUninit::uninit().assume_init() },
+            inner: unsafe {
+                // safety: Create an uninitialized array of `MaybeUninit`. The
+                // `assume_init` is safe because the type we are claiming to
+                // have initialized here is a bunch of `MaybeUninit`s, which do
+                // not require initialization.
+                MaybeUninit::uninit().assume_init()
+            },
             curr: 0,
         }
     }