2018-10-06 16:18:06 +00:00
|
|
|
// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#![feature(tool_lints)]
|
2017-09-18 10:47:33 +00:00
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#![allow(unknown_lints, unused, clippy::no_effect, clippy::redundant_closure_call, clippy::many_single_char_names, clippy::needless_pass_by_value, clippy::option_map_unit_fn, clippy::trivially_copy_pass_by_ref)]
|
|
|
|
#![warn(clippy::redundant_closure, clippy::needless_borrow)]
|
2015-05-10 05:09:04 +00:00
|
|
|
|
|
|
|
fn main() {
|
2015-08-14 12:21:05 +00:00
|
|
|
let a = Some(1u8).map(|a| foo(a));
|
|
|
|
meta(|a| foo(a));
|
|
|
|
let c = Some(1u8).map(|a| {1+2; foo}(a));
|
|
|
|
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
|
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));
|
|
|
|
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
|
|
|
|
}
|