diff options
| author | DrMeepster <19316085+DrMeepster@users.noreply.github.com> | 2021-06-29 15:13:28 -0700 |
|---|---|---|
| committer | DrMeepster <19316085+DrMeepster@users.noreply.github.com> | 2021-11-02 22:47:26 -0700 |
| commit | 9562c01879475a01e3ac5a147bc3724a9b5bd1dc (patch) | |
| tree | a3f16b1d033c3882c5a72e9c3627e3985178d2cc /library/std | |
| parent | f92241d2511f5f8dcfdb94abfa8b4274360d1ece (diff) | |
| download | rust-9562c01879475a01e3ac5a147bc3724a9b5bd1dc.tar.gz rust-9562c01879475a01e3ac5a147bc3724a9b5bd1dc.zip | |
add safety comments
Diffstat (limited to 'library/std')
| -rw-r--r-- | library/std/src/io/util.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/std/src/io/util.rs b/library/std/src/io/util.rs index 0d4fd5fedf7..c1300cd67c0 100644 --- a/library/std/src/io/util.rs +++ b/library/std/src/io/util.rs @@ -131,12 +131,14 @@ impl Read for Repeat { } fn read_buf(&mut self, buf: &mut ReadBuf<'_>) -> io::Result<()> { + // SAFETY: No uninit bytes are being written for slot in unsafe { buf.unfilled_mut() } { slot.write(self.byte); } let remaining = buf.remaining(); + // SAFETY: the entire unfilled portion of buf has been initialized unsafe { buf.assume_init(remaining); } |