diff --git a/src/lib.rs b/src/lib.rs index 19fed28de264b..630ee7a0efb75 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -63,7 +63,7 @@ cfg_if! { use core::clone::Clone; #[doc(hidden)] #[allow(unused_imports)] - use core::marker::Copy; + use core::marker::{Copy, Send, Sync}; #[doc(hidden)] #[allow(unused_imports)] use core::option::Option; @@ -85,7 +85,7 @@ cfg_if! { pub use core::clone::Clone; #[doc(hidden)] #[allow(unused_imports)] - pub use core::marker::Copy; + pub use core::marker::{Copy, Send, Sync}; #[doc(hidden)] #[allow(unused_imports)] pub use core::option::Option; diff --git a/src/wasi.rs b/src/wasi.rs index f66550b20dfe1..ea837328983d8 100644 --- a/src/wasi.rs +++ b/src/wasi.rs @@ -1,3 +1,5 @@ +use super::{Send, Sync}; + pub use ffi::c_void; pub type c_char = i8;