2 files changed, 24 insertions, 0 deletions
diff --git a/src/test/compile-fail/alt-tag-nullary.rs b/src/test/compile-fail/alt-tag-nullary.rs
new file mode 100644
index 00000000..f55f67e9
--- /dev/null
+++ b/src/test/compile-fail/alt-tag-nullary.rs
@@ -0,0 +1,12 @@
+// error-pattern: mismatched types
+
+tag a { A; }
+tag b { B; }
+
+fn main() {
+    let a x = A;
+    alt (x) {
+        case (B) {}
+    }
+}
+
diff --git a/src/test/compile-fail/alt-tag-unary.rs b/src/test/compile-fail/alt-tag-unary.rs
new file mode 100644
index 00000000..f2004896
--- /dev/null
+++ b/src/test/compile-fail/alt-tag-unary.rs
@@ -0,0 +1,12 @@
+// error-pattern: mismatched types
+
+tag a { A(int); }
+tag b { B(int); }
+
+fn main() {
+    let a x = A(0);
+    alt (x) {
+        case (B(?y)) {}
+    }
+}
+