1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/compile-fail/impure-pred.rs b/src/test/compile-fail/impure-pred.rs
new file mode 100644
index 00000000..b5ebc10e
--- /dev/null
+++ b/src/test/compile-fail/impure-pred.rs
@@ -0,0 +1,17 @@
+// -*- rust -*-
+// xfail-boot
+// xfail-stage0
+// error-pattern: impure function
+
+fn g() -> () {}
+
+pred f(int q) -> bool { 
+  g();
+  ret true;
+}
+
+fn main() {
+  auto x = 0;
+
+  check f(x); 
+}