new liveness pass to supercede last_use / initedness

1 files changed, 14 insertions, 0 deletions

diff --git a/src/test/compile-fail/tstate-if-with-else.rs b/src/test/compile-fail/tstate-if-with-else.rs
new file mode 100644
index 00000000000..74edb4b8d8b
--- /dev/null
+++ b/src/test/compile-fail/tstate-if-with-else.rs
@@ -0,0 +1,14 @@
+pure fn is_even(i: int) -> bool { (i%2) == 0 }
+fn even(i: int) : is_even(i) -> int { i }
+
+fn foo(x: int) { log(debug, x); }
+
+fn main() {
+    let x: int = 10;
+    if 1 > 2 {
+        #debug("whoops");
+    } else {
+        check is_even(x);
+    }
+    even(x); //! ERROR unsatisfied precondition
+}