Add type parameters when checking wildcard patterns

For some reason, wildcard patterns were never getting type parameter
substitutions attached. This would cause an assertion failure when
checking a wildcard pattern that matches against a tag with
polymorphic type (not sure why this didn't come up before). Fixed it.
(The diff and test case may be easier to understand than this note
:P)

Closes #1503.

1 files changed, 9 insertions, 0 deletions

diff --git a/src/test/run-fail/alt-wildcards.rs b/src/test/run-fail/alt-wildcards.rs
new file mode 100644
index 00000000000..4d89679e70e
--- /dev/null
+++ b/src/test/run-fail/alt-wildcards.rs
@@ -0,0 +1,9 @@
+// error-pattern:squirrelcupcake
+fn cmp() -> int {
+    alt(option::some('a'), option::none::<char>) {
+        (option::some(_), _) { fail "squirrelcupcake"; }
+        (_, option::some(_)) { fail; }
+    }
+}
+
+fn main() { log(error, cmp()); }