Test cases for pred / check stuff

1 files changed, 13 insertions, 0 deletions

diff --git a/src/test/compile-fail/pred-not-bool.rs b/src/test/compile-fail/pred-not-bool.rs
new file mode 100644
index 00000000..c0d19ef2
--- /dev/null
+++ b/src/test/compile-fail/pred-not-bool.rs
@@ -0,0 +1,13 @@
+// -*- rust -*-
+
+// error-pattern: mismatched types
+
+// this checks that a pred with a non-bool return
+// type is rejected, even if the pred is never used
+
+pred bad(int a) -> int {
+  ret 37;
+}
+
+fn main() {
+}