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 0000000000000000000000000000000000000000..ac9489a1290acfe22e2a599f661c4e30f5ce7205
--- /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();
+}