From 4499ebe858c9e1cf61e12f6735d88a49b56bfd13 Mon Sep 17 00:00:00 2001
From: Michael Sullivan <sully@msully.net>
Date: Fri, 24 Jun 2011 15:36:17 -0700
Subject: [PATCH] Add a test that tests typestate checking inside of fn exprs.

---
 src/test/compile-fail/fn-expr-type-state.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 src/test/compile-fail/fn-expr-type-state.rs

diff --git a/src/test/compile-fail/fn-expr-type-state.rs b/src/test/compile-fail/fn-expr-type-state.rs
new file mode 100644
index 00000000000..ac9489a1290
--- /dev/null
+++ b/src/test/compile-fail/fn-expr-type-state.rs
@@ -0,0 +1,11 @@
+// error-pattern:Unsatisfied precondition
+// xfail-stage0
+
+fn main() {
+    // Typestate should work even in a lambda. we should reject this program.
+    auto f = fn () -> int {
+        let int i;
+        ret i;
+    };
+    log_err f();
+}
-- 
GitLab