tests/ui/closures/2229_closure_analysis/bad-pattern.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

// regression test for #108683
// edition:2021

enum Refutable {
    A,
    B,
}

fn example(v1: u32, v2: [u32; 4], v3: Refutable) {
    const PAT: u32 = 0;
    let v4 = &v2[..];
    || {
        let 0 = v1; //~ ERROR refutable pattern in local binding
        let (0 | 1) = v1; //~ ERROR refutable pattern in local binding
        let 1.. = v1; //~ ERROR refutable pattern in local binding
        let [0, 0, 0, 0] = v2; //~ ERROR refutable pattern in local binding
        let [0] = v4; //~ ERROR refutable pattern in local binding
        let Refutable::A = v3; //~ ERROR refutable pattern in local binding
        let PAT = v1; //~ ERROR refutable pattern in local binding
    };
}

fn main() {}