From d832f7abece7f9806d8d0d99a9c24e3ae2f46dd7 Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Tue, 28 Jun 2011 13:14:52 -0700
Subject: [PATCH] Another test for typestate and expr_fn

---
 src/test/compile-fail/fn-expr-typestate-2.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/test/compile-fail/fn-expr-typestate-2.rs

diff --git a/src/test/compile-fail/fn-expr-typestate-2.rs b/src/test/compile-fail/fn-expr-typestate-2.rs
new file mode 100644
index 000000000000..f30e2a01bddc
--- /dev/null
+++ b/src/test/compile-fail/fn-expr-typestate-2.rs
@@ -0,0 +1,10 @@
+// error-pattern:Unsatisfied precondition
+// xfail-stage0
+
+fn main() {
+  auto j = (fn () -> int {
+        let int i;
+        ret i;
+    })();
+  log_err j;
+}