diff --git a/test.bolt b/test.bolt
new file mode 100644
index 000000000..d9ed06c91
--- /dev/null
+++ b/test.bolt
@@ -0,0 +1,20 @@
+
+struct int;
+
+impl int {
+
+  fn fac(self) -> int {
+    return match n {
+      0 => 1,
+      _ => n * fac(n-1),
+    }
+  }
+
+}
+
+// This is wrong
+fac();
+
+// This is also wrong
+fac("FOO");
+