We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6af006e commit 0a7e63aCopy full SHA for 0a7e63a
src/tools/miri/src/shims/io_error.rs
@@ -82,6 +82,10 @@ const UNIX_IO_ERROR_TABLE: &[(&str, std::io::ErrorKind)] = {
82
// <https://github.com/rust-lang/rust/blob/master/library/std/src/sys/pal/windows/mod.rs>.
83
const WINDOWS_IO_ERROR_TABLE: &[(&str, std::io::ErrorKind)] = {
84
use std::io::ErrorKind::*;
85
+ // It's common for multiple error codes to map to the same io::ErrorKind. We have all for the
86
+ // forwards mapping; only the first one will be used for the backwards mapping.
87
+ // Slightly arbitrarily, we prefer non-WSA and the most generic sounding variant for backwards
88
+ // mapping.
89
&[
90
("WSAEADDRINUSE", AddrInUse),
91
("WSAEADDRNOTAVAIL", AddrNotAvailable),
0 commit comments