Teach rustc to use the result of if expressions

1 files changed, 98 insertions, 0 deletions

diff --git a/src/test/run-pass/expr-if.rs b/src/test/run-pass/expr-if.rs
new file mode 100644
index 00000000..e69a629f
--- /dev/null
+++ b/src/test/run-pass/expr-if.rs
@@ -0,0 +1,98 @@
+// xfail-boot
+// -*- rust -*-
+
+// Tests for if as expressions
+
+fn test_if() {
+  let bool res = if (true) { true } else { false };
+  check (res);
+}
+
+fn test_else() {
+  let bool res = if (false) { false } else { true };
+  check (res);
+}
+
+fn test_elseif1() {
+  let bool res = if (true) {
+    true
+  } else if (true) {
+    false
+  } else {
+    false
+  };
+  check (res);
+}
+
+fn test_elseif2() {
+  let bool res = if (false) {
+    false
+  } else if (true) {
+    true
+  } else {
+    false
+  };
+  check (res);
+}
+
+fn test_elseif3() {
+  let bool res = if (false) {
+    false
+  } else if (false) {
+    false
+  } else {
+    true
+  };
+  check (res);
+}
+
+fn test_inferrence() {
+  auto res = if (true) { true } else { false };
+  check (res);
+}
+
+fn test_if_as_if_condition() {
+  auto res1 = if (if (false) { false } else { true }) {
+    true
+  } else {
+    false
+  };
+  check (res1);
+
+  auto res2 = if (if (true) { false } else { true }) {
+    false
+  } else {
+    true
+  };
+  check (res2);
+}
+
+fn test_if_as_block_result() {
+  auto res = if (true) {
+    if (false) {
+      false
+    } else {
+      true
+    }
+  } else {
+    false
+  };
+  check (res);
+}
+
+fn test_str() {
+  auto res = if (true) { "happy" } else { "sad" };
+  check (res == "happy");
+}
+
+fn main() {
+  test_if();
+  test_else();
+  test_elseif1();
+  test_elseif2();
+  test_elseif3();
+  test_inferrence();
+  test_if_as_if_condition();
+  test_if_as_block_result();
+  test_str();
+}