---

yaml
---
r: 3412
b: refs/heads/master
c: 926049e
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1ca0db5421c0737088112d55475d37bd7f3d0bb4
+refs/heads/master: 926049edddb6a990f22658205a2f3d467d0e4475

trunk/src/test/compile-fail/do-while-pred-constraints.rs

@@ -0,0 +1,26 @@
+// xfail-stage0
+// error-pattern: Unsatisfied precondition constraint (for example, even(y
+
+fn print_even(int y) : even(y) {
+  log y;
+}
+
+pred even(int y) -> bool {
+  true
+}
+
+fn main() {
+
+  let int y = 42;
+  check even(y);
+  do {
+    print_even(y);
+    do {
+      do {
+	do {
+	  y += 1;
+	} while (true);
+      } while (true);
+    } while (true);
+  } while (true);
+}

trunk/src/test/compile-fail/while-loop-pred-constraints.rs

@@ -0,0 +1,27 @@
+// xfail-stage0
+// error-pattern: Unsatisfied precondition constraint (for example, even(y
+
+fn print_even(int y) : even(y) {
+  log y;
+}
+
+pred even(int y) -> bool {
+  true
+}
+
+fn main() {
+
+  let int y = 42;
+  let int x = 1;
+  check even(y);
+  while (true) {
+    print_even(y);
+    while (true) {
+      while (true) {
+	while (true) {
+	  y += x;
+	}
+      }
+    }
+  }
+}