---

yaml
---
r: 5046
b: refs/heads/master
c: d37e8cf
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 2e53da5126b970b394205256446c36a585e0f35e
+refs/heads/master: d37e8cfc6723f0f2dbefdb686a7e220062c1374c

trunk/src/test/compile-fail/nonsense-constraints.rs

@@ -0,0 +1,18 @@
+// Tests that the typechecker checks constraints
+// error-pattern:mismatched types: expected uint but found u8
+use std;
+import std::uint;
+
+fn enum_chars(start:u8, end:u8) : uint::le(start, end) -> [char] {
+    let i = start;
+    let r = [];
+    while (i <= end) {
+        r += [i as char];
+        i += (1u as u8);
+    }
+    ret r;
+}
+
+fn main() {
+    log (enum_chars('a' as u8, 'z' as u8));
+}