1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#![warn(rust_2018_idioms)]
#![cfg(all(feature = "full", not(target_os = "wasi")))] // Wasi does not support panic recovery
use std::panic::{RefUnwindSafe, UnwindSafe};
#[test]
fn notify_is_unwind_safe() {
is_unwind_safe::<tokio::sync::Notify>();
}
#[test]
fn join_handle_is_unwind_safe() {
is_unwind_safe::<tokio::task::JoinHandle<()>>();
}
#[test]
fn net_types_are_unwind_safe() {
is_unwind_safe::<tokio::net::TcpListener>();
is_unwind_safe::<tokio::net::TcpSocket>();
is_unwind_safe::<tokio::net::TcpStream>();
is_unwind_safe::<tokio::net::UdpSocket>();
}
#[test]
#[cfg(unix)]
fn unix_net_types_are_unwind_safe() {
is_unwind_safe::<tokio::net::UnixDatagram>();
is_unwind_safe::<tokio::net::UnixListener>();
is_unwind_safe::<tokio::net::UnixStream>();
}
#[test]
#[cfg(windows)]
fn windows_net_types_are_unwind_safe() {
use tokio::net::windows::named_pipe::NamedPipeClient;
use tokio::net::windows::named_pipe::NamedPipeServer;
is_unwind_safe::<NamedPipeClient>();
is_unwind_safe::<NamedPipeServer>();
}
fn is_unwind_safe<T: UnwindSafe + RefUnwindSafe>() {}
|
