Auto merge of #114780 - RalfJung:io-safety, r=Amanieu · rust-lang/miri@0ea4c97 · GitHub

Commit

Auto merge of #114780 - RalfJung:io-safety, r=Amanieu

Browse files

add more explicit I/O safety documentation

Fixes rust-lang/unsafe-code-guidelines#434
Cc rust-lang/rust#114167
Cc `@Manishearth` `@sunfishcode` `@joshtriplett`

Loading branch information

bors committed Sep 22, 2023

2 parents 4bf59a1 + 31a028c commit 0ea4c97