1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
#![warn(clippy::all)]
#![allow(unused, clippy::needless_pass_by_value, clippy::vec_box, clippy::useless_vec)]
#![feature(associated_type_defaults)]
type Alias = Vec<Vec<Box<(u32, u32, u32, u32)>>>; // no warning here
const CST: (u32, (u32, (u32, (u32, u32)))) = (0, (0, (0, (0, 0))));
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
//~| NOTE: `-D clippy::type-complexity` implied by `-D warnings`
static ST: (u32, (u32, (u32, (u32, u32)))) = (0, (0, (0, (0, 0))));
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
struct S {
f: Vec<Vec<Box<(u32, u32, u32, u32)>>>,
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
}
struct Ts(Vec<Vec<Box<(u32, u32, u32, u32)>>>);
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
enum E {
Tuple(Vec<Vec<Box<(u32, u32, u32, u32)>>>),
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
Struct { f: Vec<Vec<Box<(u32, u32, u32, u32)>>> },
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
}
impl S {
const A: (u32, (u32, (u32, (u32, u32)))) = (0, (0, (0, (0, 0))));
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
fn impl_method(&self, p: Vec<Vec<Box<(u32, u32, u32, u32)>>>) {}
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
}
trait T {
const A: Vec<Vec<Box<(u32, u32, u32, u32)>>>;
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
type B = Vec<Vec<Box<(u32, u32, u32, u32)>>>;
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
fn method(&self, p: Vec<Vec<Box<(u32, u32, u32, u32)>>>);
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
fn def_method(&self, p: Vec<Vec<Box<(u32, u32, u32, u32)>>>) {}
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
}
// Should not warn since there is likely no way to simplify this (#1013)
impl T for () {
const A: Vec<Vec<Box<(u32, u32, u32, u32)>>> = vec![];
type B = Vec<Vec<Box<(u32, u32, u32, u32)>>>;
fn method(&self, p: Vec<Vec<Box<(u32, u32, u32, u32)>>>) {}
}
fn test1() -> Vec<Vec<Box<(u32, u32, u32, u32)>>> {
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
vec![]
}
fn test2(_x: Vec<Vec<Box<(u32, u32, u32, u32)>>>) {}
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
fn test3() {
let _y: Vec<Vec<Box<(u32, u32, u32, u32)>>> = vec![];
//~^ ERROR: very complex type used. Consider factoring parts into `type` definitions
}
#[repr(C)]
struct D {
// should not warn, since we don't have control over the signature (#3222)
test4: extern "C" fn(
itself: &D,
a: usize,
b: usize,
c: usize,
d: usize,
e: usize,
f: usize,
g: usize,
h: usize,
i: usize,
),
}
fn main() {}
|
