2018-08-30 08:33:38 +02:00
|
|
|
// Just instantiate some data structures to make sure we got all their foreign items covered.
|
|
|
|
// Requires full MIR on Windows.
|
2018-08-23 19:28:48 +02:00
|
|
|
|
|
|
|
use std::sync;
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let m = sync::Mutex::new(0);
|
2018-11-26 15:31:53 +01:00
|
|
|
drop(m.lock());
|
2018-08-23 19:28:48 +02:00
|
|
|
drop(m);
|
|
|
|
|
2019-06-30 16:45:41 +02:00
|
|
|
#[cfg(not(target_os = "windows"))] // TODO: implement RwLock on Windows
|
2018-08-30 09:20:08 +02:00
|
|
|
{
|
|
|
|
let rw = sync::RwLock::new(0);
|
2018-11-26 15:31:53 +01:00
|
|
|
drop(rw.read());
|
|
|
|
drop(rw.write());
|
2018-08-30 09:20:08 +02:00
|
|
|
drop(rw);
|
|
|
|
}
|
2018-08-23 19:28:48 +02:00
|
|
|
}
|