From ec763bba9caba2ee5be0ee92736949ca8a65a566 Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Thu, 1 Sep 2011 16:30:11 -0700
Subject: [PATCH] Add a test that lambdas can't deinitialize upvars

---
 src/test/compile-fail/block-deinitializes-upvar.rs | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/test/compile-fail/block-deinitializes-upvar.rs

diff --git a/src/test/compile-fail/block-deinitializes-upvar.rs b/src/test/compile-fail/block-deinitializes-upvar.rs
new file mode 100644
index 00000000000..da5922036a7
--- /dev/null
+++ b/src/test/compile-fail/block-deinitializes-upvar.rs
@@ -0,0 +1,8 @@
+// error-pattern:assigning to upvar
+fn force(f: &block() -> int) -> int { ret f(); }
+fn main() {
+    let x = 5;
+    let f = lambda () -> int { let y = 6; x <- y; ret 7 };
+    assert (force(f) == 7);
+    log x;
+}