implement capture clauses (move, in particular) and integrate

them into type state and so forth

5 files changed, 30 insertions, 0 deletions

diff --git a/src/test/compile-fail/cap-clause-both-copy-and-move.rs b/src/test/compile-fail/cap-clause-both-copy-and-move.rs
new file mode 100644
index 00000000000..0758ad67bd5
--- /dev/null
+++ b/src/test/compile-fail/cap-clause-both-copy-and-move.rs
@@ -0,0 +1,5 @@
+// error-pattern:error: Variable 'x' captured more than once
+fn main() {
+    let x = 5;
+    let y = sendfn[move x; copy x]() -> int { x };
+}
\ No newline at end of file
diff --git a/src/test/compile-fail/cap-clause-double-copy.rs b/src/test/compile-fail/cap-clause-double-copy.rs
new file mode 100644
index 00000000000..2e1008bad1c
--- /dev/null
+++ b/src/test/compile-fail/cap-clause-double-copy.rs
@@ -0,0 +1,5 @@
+// error-pattern:error: Variable 'x' captured more than once
+fn main() {
+    let x = 5;
+    let y = sendfn[copy x, x]() -> int { x };
+}
diff --git a/src/test/compile-fail/cap-clause-double-move.rs b/src/test/compile-fail/cap-clause-double-move.rs
new file mode 100644
index 00000000000..89e1a4a5a51
--- /dev/null
+++ b/src/test/compile-fail/cap-clause-double-move.rs
@@ -0,0 +1,5 @@
+// error-pattern: error: Variable 'x' captured more than once
+fn main() {
+    let x = 5;
+    let y = sendfn[move x, x]() -> int { x };
+}
diff --git a/src/test/compile-fail/cap-clause-move-upvar.rs b/src/test/compile-fail/cap-clause-move-upvar.rs
new file mode 100644
index 00000000000..33b0a67a7e4
--- /dev/null
+++ b/src/test/compile-fail/cap-clause-move-upvar.rs
@@ -0,0 +1,8 @@
+// error-pattern: error: Upvars (like 'x') cannot be moved into a closure
+fn main() {
+    let x = 5;
+    let _y = sendfn[move x]() -> int {
+        let _z = sendfn[move x]() -> int { x };
+        22
+    };
+}
diff --git a/src/test/compile-fail/cap-clause-use-after-move.rs b/src/test/compile-fail/cap-clause-use-after-move.rs
new file mode 100644
index 00000000000..029b05ad2e1
--- /dev/null
+++ b/src/test/compile-fail/cap-clause-use-after-move.rs
@@ -0,0 +1,7 @@
+// error-pattern:Unsatisfied precondition constraint
+
+fn main() {
+    let x = 5;
+    let _y = sendfn[move x]() { };
+    let _z = x; //< error: Unsatisfied precondition constraint
+}