From 2723e1c48f2c65e7b574cbeeb2a365a74341ff9a Mon Sep 17 00:00:00 2001
From: Brian Anderson <andersrb@gmail.com>
Date: Sat, 11 Jun 2011 00:27:34 +0000
Subject: [PATCH] test: Add tests for issue #452

---
 src/test/run-fail/expr-alt-fail-fn.rs | 19 +++++++++++++++++++
 src/test/run-fail/expr-if-fail-fn.rs  | 16 ++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 src/test/run-fail/expr-alt-fail-fn.rs
 create mode 100644 src/test/run-fail/expr-if-fail-fn.rs

diff --git a/src/test/run-fail/expr-alt-fail-fn.rs b/src/test/run-fail/expr-alt-fail-fn.rs
new file mode 100644
index 00000000000..4a1b8d82b68
--- /dev/null
+++ b/src/test/run-fail/expr-alt-fail-fn.rs
@@ -0,0 +1,19 @@
+// error-pattern:explicit failure
+
+fn f() -> ! { fail }
+
+fn g() -> int {
+  auto x = alt (true) {
+    case (true) {
+      f()
+    }
+    case (false) {
+      10
+    }
+  };
+  ret x;
+}
+
+fn main() {
+  g();
+}
diff --git a/src/test/run-fail/expr-if-fail-fn.rs b/src/test/run-fail/expr-if-fail-fn.rs
new file mode 100644
index 00000000000..5dd4ab314e9
--- /dev/null
+++ b/src/test/run-fail/expr-if-fail-fn.rs
@@ -0,0 +1,16 @@
+// error-pattern:explicit failure
+
+fn f() -> ! { fail }
+
+fn g() -> int {
+  auto x = if (true) {
+    f()
+  } else {
+    10
+  };
+  ret x;
+}
+
+fn main() {
+  g();
+}