1 files changed, 0 insertions, 16 deletions
diff --git a/src/test/compile-fail/while-loop-pred-constraints.rs b/src/test/compile-fail/while-loop-pred-constraints.rs
deleted file mode 100644
index 646d2466c74..00000000000
--- a/src/test/compile-fail/while-loop-pred-constraints.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-// error-pattern:unsatisfied precondition constraint (for example, even(y
-
-fn print_even(y: int) : even(y) { log(debug, y); }
-
-pure fn even(y: int) -> bool { true }
-
-fn main() {
-
-    let y: int = 42;
-    let x: int = 1;
-    check (even(y));
-    loop {
-        print_even(y);
-        while true { while true { while true { y += x; } } }
-    }
-}