summaryrefslogtreecommitdiffstats
path: root/src/test/ui/mir/mir_build_match_comparisons.rs
blob: 04570055763a96b0dfdde00cc9b4dd68b1703da8 (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
// run-pass
#![allow(dead_code)]
fn test1(x: i8) -> i32 {
  match x {
    1..=10 => 0,
    _ => 1,
  }
}

const U: Option<i8> = Some(10);
const S: &'static str = "hello";

fn test2(x: i8) -> i32 {
  match Some(x) {
    U => 0,
    _ => 1,
  }
}

fn test3(x: &'static str) -> i32 {
  match x {
    S => 0,
    _ => 1,
  }
}

enum Opt<T> {
    Some { v: T },
    None
}

fn test4(x: u64) -> i32 {
  let opt = Opt::Some{ v: x };
  match opt {
    Opt::Some { v: 10 } => 0,
    _ => 1,
  }
}


fn main() {
  assert_eq!(test1(0), 1);
  assert_eq!(test1(1), 0);
  assert_eq!(test1(2), 0);
  assert_eq!(test1(5), 0);
  assert_eq!(test1(9), 0);
  assert_eq!(test1(10), 0);
  assert_eq!(test1(11), 1);
  assert_eq!(test1(20), 1);
  assert_eq!(test2(10), 0);
  assert_eq!(test2(0), 1);
  assert_eq!(test2(20), 1);
  assert_eq!(test3("hello"), 0);
  assert_eq!(test3(""), 1);
  assert_eq!(test3("world"), 1);
  assert_eq!(test4(10), 0);
  assert_eq!(test4(0), 1);
  assert_eq!(test4(20), 1);
}