diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/threads-sendsync/sync-send-in-std.rs | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/test/ui/threads-sendsync/sync-send-in-std.rs b/src/test/ui/threads-sendsync/sync-send-in-std.rs new file mode 100644 index 000000000..b8ae214dc --- /dev/null +++ b/src/test/ui/threads-sendsync/sync-send-in-std.rs @@ -0,0 +1,24 @@ +// run-pass + +// ignore-wasm32-bare networking not available +// ignore-sgx ToSocketAddrs cannot be used for DNS Resolution + +use std::net::ToSocketAddrs; + +fn is_sync<T>(_: T) where T: Sync {} +fn is_send<T>(_: T) where T: Send {} + +macro_rules! all_sync_send { + ($ctor:expr, $($iter:ident),+) => ({ + $( + let mut x = $ctor; + is_sync(x.$iter()); + let mut y = $ctor; + is_send(y.$iter()); + )+ + }) +} + +fn main() { + all_sync_send!("localhost:80".to_socket_addrs().unwrap(), next); +} |