summaryrefslogtreecommitdiffstats
path: root/src/test/ui/pattern/usefulness/top-level-alternation.rs
blob: 076de846129e676b51b742fbe1b8ed0c1c09f51a (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
#![feature(let_else)]

#![deny(unreachable_patterns)]

fn main() {
    while let 0..=2 | 1 = 0 {} //~ ERROR unreachable pattern
    if let 0..=2 | 1 = 0 {} //~ ERROR unreachable pattern

    match 0u8 {
        0
            | 0 => {} //~ ERROR unreachable pattern
        _ => {}
    }
    match Some(0u8) {
        Some(0)
            | Some(0) => {} //~ ERROR unreachable pattern
        _ => {}
    }
    match (0u8, 0u8) {
        (0, _) | (_, 0) => {}
        (0, 0) => {} //~ ERROR unreachable pattern
        (1, 1) => {}
        _ => {}
    }
    match (0u8, 0u8) {
        (0, 1) | (2, 3) => {}
        (0, 3) => {}
        (2, 1) => {}
        _ => {}
    }
    match (0u8, 0u8) {
        (_, 0) | (_, 1) => {}
        _ => {}
    }
    match (0u8, 0u8) {
        (0, _) | (1, _) => {}
        _ => {}
    }
    match Some(0u8) {
        None | Some(_) => {}
        _ => {} //~ ERROR unreachable pattern
    }
    match Some(0u8) {
        None | Some(_) => {}
        Some(_) => {} //~ ERROR unreachable pattern
        None => {} //~ ERROR unreachable pattern
    }
    match Some(0u8) {
        Some(_) => {}
        None => {}
        None | Some(_) => {} //~ ERROR unreachable pattern
    }
    match 0u8 {
        1 | 2 => {},
        1..=2 => {}, //~ ERROR unreachable pattern
        _ => {},
    }
    let (0 | 0) = 0 else { return }; //~ ERROR unreachable pattern
}