Implement the "attempted dynamic environment-capture" error in rustc.

2 files changed, 30 insertions, 0 deletions

diff --git a/src/test/compile-fail/capture1.rs b/src/test/compile-fail/capture1.rs
new file mode 100644
index 00000000..fb1d82fe
--- /dev/null
+++ b/src/test/compile-fail/capture1.rs
@@ -0,0 +1,12 @@
+// -*- rust -*-
+
+// error-pattern: attempted dynamic environment-capture
+
+fn main() {
+
+    fn foo() -> int {
+        ret bar;
+    }
+
+    let int bar = 5;
+}
diff --git a/src/test/compile-fail/capture2.rs b/src/test/compile-fail/capture2.rs
new file mode 100644
index 00000000..1b088c69
--- /dev/null
+++ b/src/test/compile-fail/capture2.rs
@@ -0,0 +1,18 @@
+// -*- rust -*-
+
+// error-pattern: attempted dynamic environment-capture
+
+fn f(bool x) {
+}
+
+state obj foobar(bool x) {
+  drop {
+    auto y = x;
+    fn test() {
+      f(y);
+    }
+  }
+}
+
+fn main() {
+}