Reason safety for unsafe blocks for uwp stdin

rust-lang · Sep 22, 2021 · 4e01157 · 4e01157
1 parent a8ac6d4
commit 4e01157
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/library/std/src/sys/windows/stdio_uwp.rs b/library/std/src/sys/windows/stdio_uwp.rs
@@ -26,6 +26,7 @@ pub fn get_handle(handle_id: c::DWORD) -> io::Result<c::HANDLE> {
 
 fn write(handle_id: c::DWORD, data: &[u8]) -> io::Result<usize> {
     let handle = get_handle(handle_id)?;
+    // SAFETY: The handle returned from `get_handle` must be valid and non-null.
     let handle = unsafe { Handle::from_raw_handle(handle) };
     ManuallyDrop::new(handle).write(data)
 }
@@ -39,6 +40,7 @@ impl Stdin {
 impl io::Read for Stdin {
     fn read(&mut self, buf: &mut [u8]) -> io::Result<usize> {
         let handle = get_handle(c::STD_INPUT_HANDLE)?;
+        // SAFETY: The handle returned from `get_handle` must be valid and non-null.
         let handle = unsafe { Handle::from_raw_handle(handle) };
         ManuallyDrop::new(handle).read(buf)
     }