1 files changed, 9 insertions, 0 deletions
diff --git a/src/test/compile-fail/not-a-pred-2.rs b/src/test/compile-fail/not-a-pred-2.rs
new file mode 100644
index 00000000..c8ac4a08
--- /dev/null
+++ b/src/test/compile-fail/not-a-pred-2.rs
@@ -0,0 +1,9 @@
+// -*- rust -*-
+// xfail-boot
+
+// error-pattern: non-predicate
+
+fn main() {
+  check (1 == 2); // should fail to typecheck, as (a == b)
+                  // is not a manifest call
+}