src/test/run-pass/expr-if.rs


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

// xfail-boot
// -*- rust -*-

// Tests for if as expressions

fn test_if() {
  let bool res = if (true) { true } else { false };
  assert (res);
}

fn test_else() {
  let bool res = if (false) { false } else { true };
  assert (res);
}

fn test_elseif1() {
  let bool res = if (true) {
    true
  } else if (true) {
    false
  } else {
    false
  };
  assert (res);
}

fn test_elseif2() {
  let bool res = if (false) {
    false
  } else if (true) {
    true
  } else {
    false
  };
  assert (res);
}

fn test_elseif3() {
  let bool res = if (false) {
    false
  } else if (false) {
    false
  } else {
    true
  };
  assert (res);
}

fn test_inferrence() {
  auto res = if (true) { true } else { false };
  assert (res);
}

fn test_if_as_if_condition() {
  auto res1 = if (if (false) { false } else { true }) {
    true
  } else {
    false
  };
  assert (res1);

  auto res2 = if (if (true) { false } else { true }) {
    false
  } else {
    true
  };
  assert (res2);
}

fn test_if_as_block_result() {
  auto res = if (true) {
    if (false) {
      false
    } else {
      true
    }
  } else {
    false
  };
  assert (res);
}

fn main() {
  test_if();
  test_else();
  test_elseif1();
  test_elseif2();
  test_elseif3();
  test_inferrence();
  test_if_as_if_condition();
  test_if_as_block_result();
}