rustc: Fold over the paths in tag patterns so that we can resolve type variables in them

1 files changed, 4 insertions, 1 deletions

diff --git a/src/comp/middle/fold.rs b/src/comp/middle/fold.rs
index 8a1dc70f..ccf3457b 100644
--- a/src/comp/middle/fold.rs
+++ b/src/comp/middle/fold.rs
@@ -452,11 +452,14 @@ fn fold_pat[ENV](&ENV env, ast_fold[ENV] fld, @ast.pat p) -> @ast.pat {
             ret fld.fold_pat_bind(env_, p.span, id, did, t);
         }
         case (ast.pat_tag(?path, ?pats, ?d, ?t)) {
+            auto ppath = fold_path(env, fld, path);
+
             let vec[@ast.pat] ppats = vec();
             for (@ast.pat pat in pats) {
                 ppats += vec(fold_pat(env_, fld, pat));
             }
-            ret fld.fold_pat_tag(env_, p.span, path, ppats, d, t);
+
+            ret fld.fold_pat_tag(env_, p.span, ppath, ppats, d, t);
         }
     }
 }