2017-10-19 05:40:21 +11:00
|
|
|
extern crate winit;
|
|
|
|
|
|
|
|
fn needs_send<T:Send>() {}
|
|
|
|
|
|
|
|
#[test]
|
2019-02-06 02:30:33 +11:00
|
|
|
fn event_loop_proxy_send() {
|
|
|
|
fn is_send<T: Send>() {
|
|
|
|
// ensures that `winit::EventLoopProxy` implements `Send`
|
|
|
|
needs_send::<winit::event_loop::EventLoopProxy<T>>();
|
|
|
|
}
|
2017-10-19 05:40:21 +11:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn window_send() {
|
|
|
|
// ensures that `winit::Window` implements `Send`
|
2019-02-06 02:30:33 +11:00
|
|
|
needs_send::<winit::window::Window>();
|
2017-10-19 05:40:21 +11:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn ids_send() {
|
|
|
|
// ensures that the various `..Id` types implement `Send`
|
2019-02-06 02:30:33 +11:00
|
|
|
needs_send::<winit::window::WindowId>();
|
|
|
|
needs_send::<winit::event::DeviceId>();
|
|
|
|
needs_send::<winit::monitor::MonitorHandle>();
|
2017-10-19 05:40:21 +11:00
|
|
|
}
|