#[deny(unsafe_op_in_unsafe_fn)] in libstd/fs.rs

Manishearth · Jul 1, 2020 · 7616cd9 · 7616cd9
1 parent 16957bd
commit 7616cd9
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/libstd/fs.rs b/src/libstd/fs.rs
@@ -666,7 +666,8 @@ impl Read for File {
 
     #[inline]
     unsafe fn initializer(&self) -> Initializer {
-        Initializer::nop()
+        // SAFETY: Read is guaranteed to work on uninitialized memory
+        unsafe { Initializer::nop() }
     }
 }
 #[stable(feature = "rust1", since = "1.0.0")]
@@ -711,7 +712,8 @@ impl Read for &File {
 
     #[inline]
     unsafe fn initializer(&self) -> Initializer {
-        Initializer::nop()
+        // SAFETY: Read is guaranteed to work on uninitialized memory
+        unsafe { Initializer::nop() }
     }
 }
 #[stable(feature = "rust1", since = "1.0.0")]