---

catamorphism · catamorphism · commit 727e1aed3f3f · 2012-10-08T13:11:16.000-07:00
yaml --- r: 22399 b: refs/heads/snap-stage3 c: a477c5a h: refs/heads/master i: 22397: caaca07 22395: eed081a 22391: e503e47 22383: 1013dae 22367: d42d03a 22335: 0f663a0 22271: 04090e8 v: v3
diff --git a/[refs] b/[refs]
@@ -1,7 +1,7 @@
 ---
 refs/heads/master: e430a699f2c60890d9b86069fd0c68a70ece7120
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 5b415c73723d33df735e2688515c3354975133cc
+refs/heads/snap-stage3: a477c5af203e75cced729e85f9b54e8f2516502e
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
diff --git a/branches/snap-stage3/src/test/compile-fail/cap-clause-use-after-move.rs b/branches/snap-stage3/src/test/compile-fail/cap-clause-use-after-move.rs
@@ -1,5 +1,7 @@
+// error-pattern:Unsatisfied precondition constraint
+
 fn main() {
     let x = 5;
     let _y = fn~(move x) { };
-    let _z = x; //~ ERROR use of moved variable: `x`
+    let _z = x; //< error: Unsatisfied precondition constraint
 }

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,7 @@`
	`1`	`+// error-pattern:Unsatisfied precondition constraint`
	`2`	`+`
`1`	`3`	`fn main() {`
`2`	`4`	`let x = 5;`
`3`	`5`	`let _y = fn~(move x) { };`
`4`		- let _z = x; //~ ERROR use of moved variable: `x`
	`6`	`+ let _z = x; //< error: Unsatisfied precondition constraint`
`5`	`7`	`}`