1 files changed, 7 insertions, 0 deletions
diff --git a/src/test/compile-fail/tstate-and-init.rs b/src/test/compile-fail/tstate-and-init.rs
new file mode 100644
index 00000000000..7b254fe2e19
--- /dev/null
+++ b/src/test/compile-fail/tstate-and-init.rs
@@ -0,0 +1,7 @@
+pure fn is_even(i: int) -> bool { (i%2) == 0 }
+fn even(i: int) : is_even(i) -> int { i }
+fn main() {
+    let i: int = 4;
+    log(debug, false && { check is_even(i); true });
+    even(i); //! ERROR unsatisfied precondition
+}