]> git.lizzy.rs Git - rust.git/blob - tests/ui/eta.rs
Merge pull request #3285 from devonhollowood/pedantic-dogfood-items-after-statements
[rust.git] / tests / ui / eta.rs
1 // Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution.
3 //
4 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
5 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
6 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
7 // option. This file may not be copied, modified, or distributed
8 // except according to those terms.
9
10
11 #![feature(tool_lints)]
12
13 #![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)]
14 #![warn(clippy::redundant_closure, clippy::needless_borrow)]
15
16 fn main() {
17     let a = Some(1u8).map(|a| foo(a));
18     meta(|a| foo(a));
19     let c = Some(1u8).map(|a| {1+2; foo}(a));
20     let d = Some(1u8).map(|a| foo((|b| foo2(b))(a))); //is adjusted?
21     all(&[1, 2, 3], &&2, |x, y| below(x, y)); //is adjusted
22     unsafe {
23         Some(1u8).map(|a| unsafe_fn(a)); // unsafe fn
24     }
25
26     // See #815
27     let e = Some(1u8).map(|a| divergent(a));
28     let e = Some(1u8).map(|a| generic(a));
29     let e = Some(1u8).map(generic);
30     // See #515
31     let a: Option<Box<::std::ops::Deref<Target = [i32]>>> =
32         Some(vec![1i32, 2]).map(|v| -> Box<::std::ops::Deref<Target = [i32]>> { Box::new(v) });
33 }
34
35 fn meta<F>(f: F) where F: Fn(u8) {
36     f(1u8)
37 }
38
39 fn foo(_: u8) {
40 }
41
42 fn foo2(_: u8) -> u8 {
43     1u8
44 }
45
46 fn all<X, F>(x: &[X], y: &X, f: F) -> bool
47 where F: Fn(&X, &X) -> bool {
48     x.iter().all(|e| f(e, y))
49 }
50
51 fn below(x: &u8, y: &u8) -> bool { x < y }
52
53 unsafe fn unsafe_fn(_: u8) { }
54
55 fn divergent(_: u8) -> ! {
56     unimplemented!()
57 }
58
59 fn generic<T>(_: T) -> u8 {
60     0
61 }