2018-07-28 10:34:52 -05:00
|
|
|
#![feature(tool_lints)]
|
2015-10-06 18:17:57 -05:00
|
|
|
|
2017-09-18 05:47:33 -05:00
|
|
|
|
2018-07-28 10:34:52 -05:00
|
|
|
#![warn(clippy::all)]
|
|
|
|
#![warn(clippy::mutex_integer)]
|
2015-10-06 18:17:57 -05:00
|
|
|
|
|
|
|
fn main() {
|
|
|
|
use std::sync::Mutex;
|
2017-02-08 07:58:07 -06:00
|
|
|
Mutex::new(true);
|
|
|
|
Mutex::new(5usize);
|
|
|
|
Mutex::new(9isize);
|
2015-10-06 18:17:57 -05:00
|
|
|
let mut x = 4u32;
|
2017-02-08 07:58:07 -06:00
|
|
|
Mutex::new(&x as *const u32);
|
|
|
|
Mutex::new(&mut x as *mut u32);
|
|
|
|
Mutex::new(0u32);
|
|
|
|
Mutex::new(0i32);
|
2015-10-06 18:17:57 -05:00
|
|
|
Mutex::new(0f32); // there are no float atomics, so this should not lint
|
|
|
|
}
|