---

yaml
---
r: 2572
b: refs/heads/master
c: b42bb2c
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 971b5d5151f79582252fa1281edb09cf86fd63ff
+refs/heads/master: b42bb2cff249862d22c89af09a912fbb0a8d8862

trunk/src/test/compile-fail/pattern-tyvar-2.rs

@@ -0,0 +1,27 @@
+// -*- rust -*-
+// xfail-stage0
+
+use std;
+import std::option;
+import std::option::some;
+
+// error-pattern: mismatched types
+
+tag bar {
+  t1((), option::t[vec[int]]);
+  t2;
+}
+
+fn foo(bar t) -> int {
+  alt (t) {
+    case (t1(_, some(?x))) {
+      ret (x * 3);
+    }
+    case (_) {
+      fail;
+    }
+  }
+}
+
+fn main() {
+}

trunk/src/test/compile-fail/pattern-tyvar.rs

@@ -0,0 +1,25 @@
+// -*- rust -*-
+use std;
+import std::option;
+import std::option::some;
+
+// error-pattern: mismatched types
+
+tag bar {
+  t1((), option::t[vec[int]]);
+  t2;
+}
+
+fn foo(bar t) {
+  alt (t) {
+    case (t1(_, some[int](?x))) {
+      log x;
+    }
+    case (_) {
+      fail;
+    }
+  }
+}
+
+fn main() {
+}