about summary refs log tree commit diff
path: root/src/tools/clippy/tests/ui/unnested_or_patterns.fixed
blob: 339d4a95084ae37cadd0dd3f246e2a5bccf138ca (plain)
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
86
87
88
89
90
91
92
93
94
95
96
#![feature(box_patterns)]
#![warn(clippy::unnested_or_patterns)]
#![allow(
    clippy::cognitive_complexity,
    clippy::match_ref_pats,
    clippy::upper_case_acronyms,
    clippy::needless_if,
    clippy::manual_range_patterns
)]
#![allow(unreachable_patterns, irrefutable_let_patterns, unused)]

struct S {
    x: u8,
    y: u8,
}

fn main() {
    // Should be ignored by this lint, as nesting requires more characters.
    if let &0 | &2 = &0 {}

    if let box (0 | 2) = Box::new(0) {}
    //~^ unnested_or_patterns
    if let box (0 | 1 | 2 | 3 | 4) = Box::new(0) {}
    //~^ unnested_or_patterns
    const C0: Option<u8> = Some(1);
    if let Some(1 | 2) | C0 = None {}
    //~^ unnested_or_patterns
    if let &mut (0 | 2) = &mut 0 {}
    //~^ unnested_or_patterns
    if let x @ (0 | 2) = 0 {}
    //~^ unnested_or_patterns
    if let (0, 1 | 2 | 3) = (0, 0) {}
    //~^ unnested_or_patterns
    if let (1 | 2 | 3, 0) = (0, 0) {}
    //~^ unnested_or_patterns
    if let (x, ..) | (x, 1 | 2) = (0, 1) {}
    //~^ unnested_or_patterns
    if let [0 | 1] = [0] {}
    //~^ unnested_or_patterns
    if let [x, 0 | 1] = [0, 1] {}
    //~^ unnested_or_patterns
    if let [x, 0 | 1 | 2] = [0, 1] {}
    //~^ unnested_or_patterns
    if let [x, ..] | [x, 1 | 2] = [0, 1] {}
    //~^ unnested_or_patterns
    struct TS(u8, u8);
    if let TS(0 | 1, x) = TS(0, 0) {}
    //~^ unnested_or_patterns
    if let TS(1 | 2 | 3, 0) = TS(0, 0) {}
    //~^ unnested_or_patterns
    if let TS(x, ..) | TS(x, 1 | 2) = TS(0, 0) {}
    //~^ unnested_or_patterns
    if let S { x: 0 | 1, y } = (S { x: 0, y: 1 }) {}
    //~^ unnested_or_patterns
    if let S { x: 0, y, .. } | S { y, x: 1 } = (S { x: 0, y: 1 }) {}
}

#[clippy::msrv = "1.52"]
fn msrv_1_52() {
    if let [1] | [52] = [0] {}
}

#[clippy::msrv = "1.53"]
fn msrv_1_53() {
    if let [1 | 53] = [0] {}
    //~^ unnested_or_patterns
}

mod issue9952 {
    fn or_in_local() {
        let (0 | 1 | _) = 0;
        //~^ unnested_or_patterns

        if let (0 | 1 | _) = 0 {}
        //~^ unnested_or_patterns
    }

    fn or_in_param((x | x | x): i32) {}
    //~^ unnested_or_patterns
}

fn issue15219() {
    struct Foo {
        x: u8,
    }

    // the original repro
    if let Foo { x } | Foo { x } = (Foo { x: 0 }) {}

    // also works with more fields
    if let S { x, y } | S { x, y } = (S { x: 0, y: 0 }) {}

    // `y` not triggering the lint doesn't stop the `x` from getting flagged
    if let S { y, x: 0 | 1 } = (S { x: 0, y: 1 }) {}
    //~^ unnested_or_patterns
}