---

yaml
---
r: 3338
b: refs/heads/master
c: 4499ebe
h: refs/heads/master
v: v3

Author: msullivan

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b732ec6f8297e64c0b1b93253e2ad0a2c64f3a5f
+refs/heads/master: 4499ebe858c9e1cf61e12f6735d88a49b56bfd13

trunk/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();
+}