From 0707780eace5bafa07c114319b9a0d774f196da4 Mon Sep 17 00:00:00 2001
From: Viktor Dahl <pazaconyoman@gmail.com>
Date: Wed, 24 Oct 2012 19:14:50 +0200
Subject: [PATCH] Added compile-fail tests

---
 src/test/compile-fail/lint-type-limits.rs | 25 +++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 src/test/compile-fail/lint-type-limits.rs

diff --git a/src/test/compile-fail/lint-type-limits.rs b/src/test/compile-fail/lint-type-limits.rs
new file mode 100644
index 00000000000..14bffdca241
--- /dev/null
+++ b/src/test/compile-fail/lint-type-limits.rs
@@ -0,0 +1,25 @@
+// compile-flags: -D type-limits
+fn main() { }
+
+fn foo() {
+    let mut i = 100u;
+    while i >= 0 { //~ ERROR comparison is useless due to type limits
+        i -= 1;
+    }
+}
+
+fn bar() -> i8 {
+    return 123;
+}
+
+fn baz() -> bool {
+    128 > bar() //~ ERROR comparison is useless due to type limits
+}
+
+fn qux() {
+    let mut i = 1i8;
+    while 200 != i { //~ ERROR comparison is useless due to type limits
+        i += 1;
+    }
+}
+