diff --git a/src/test/run-pass/if-check.rs b/src/test/run-pass/if-check.rs
new file mode 100644
index 00000000000..9f9f8946554
--- /dev/null
+++ b/src/test/run-pass/if-check.rs
@@ -0,0 +1,13 @@
+// xfail-stage0
+fn foo(int x) -> () {
+  if check even(x) { 
+      log x;
+    }
+  else {
+    fail;
+  }
+}
+
+fn main() {
+  foo(2);
+}
\ No newline at end of file