2015-05-10 05:09:04 +00:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
2017-02-20 03:50:31 +00:00
|
|
|
#![allow(unknown_lints, unused, no_effect, redundant_closure_call, many_single_char_names, needless_pass_by_value)]
|
2015-05-10 05:09:04 +00:00
|
|
|
#![deny(redundant_closure)]
|
|
|
|
|
|
|
|
fn main() {
|
2015-08-14 12:21:05 +00:00
|
|
|
let a = Some(1u8).map(|a| foo(a));
|
2017-02-08 13:58:07 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2015-08-14 12:21:05 +00:00
|
|
|
meta(|a| foo(a));
|
2017-02-08 13:58:07 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2015-08-14 12:21:05 +00:00
|
|
|
let c = Some(1u8).map(|a| {1+2; foo}(a));
|
2017-02-08 13:58:07 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2015-08-14 12:21:05 +00:00
|
|
|
let d = Some(1u8).map(|a| foo((|b| foo2(b))(a))); //is adjusted?
|
|
|
|
all(&[1, 2, 3], &&2, |x, y| below(x, y)); //is adjusted
|
2017-02-08 13:58:07 +00:00
|
|
|
|
2015-08-26 15:09:37 +00:00
|
|
|
unsafe {
|
|
|
|
Some(1u8).map(|a| unsafe_fn(a)); // unsafe fn
|
|
|
|
}
|
2016-01-18 18:28:06 +00:00
|
|
|
|
2016-03-30 21:07:21 +00:00
|
|
|
// See #815
|
|
|
|
let e = Some(1u8).map(|a| divergent(a));
|
|
|
|
let e = Some(1u8).map(|a| generic(a));
|
2017-02-08 13:58:07 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2016-03-30 21:07:21 +00:00
|
|
|
let e = Some(1u8).map(generic);
|
|
|
|
|
2016-01-18 18:28:06 +00:00
|
|
|
// See #515
|
|
|
|
let a: Option<Box<::std::ops::Deref<Target = [i32]>>> =
|
|
|
|
Some(vec![1i32, 2]).map(|v| -> Box<::std::ops::Deref<Target = [i32]>> { Box::new(v) });
|
2015-08-14 12:21:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn meta<F>(f: F) where F: Fn(u8) {
|
|
|
|
f(1u8)
|
2015-05-10 05:09:04 +00:00
|
|
|
}
|
|
|
|
|
2015-08-14 12:21:05 +00:00
|
|
|
fn foo(_: u8) {
|
2015-05-10 05:09:04 +00:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2015-08-14 12:21:05 +00:00
|
|
|
fn foo2(_: u8) -> u8 {
|
2015-05-10 05:09:04 +00:00
|
|
|
1u8
|
2015-08-12 08:46:49 +00:00
|
|
|
}
|
2015-08-14 12:21:05 +00:00
|
|
|
|
|
|
|
fn all<X, F>(x: &[X], y: &X, f: F) -> bool
|
|
|
|
where F: Fn(&X, &X) -> bool {
|
|
|
|
x.iter().all(|e| f(e, y))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn below(x: &u8, y: &u8) -> bool { x < y }
|
2015-08-26 15:09:37 +00:00
|
|
|
|
|
|
|
unsafe fn unsafe_fn(_: u8) { }
|
2016-03-30 21:07:21 +00:00
|
|
|
|
|
|
|
fn divergent(_: u8) -> ! {
|
|
|
|
unimplemented!()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn generic<T>(_: T) -> u8 {
|
|
|
|
0
|
|
|
|
}
|