---

yaml
---
r: 34178
b: refs/heads/snap-stage3
c: 6530fd3
h: refs/heads/master
v: v3

Author: Jakub Wieczorek

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 1fdfd3b1d60b49a9f3c248781c7a82c617c55769
+refs/heads/snap-stage3: 6530fd340119362e346f28c03e1efc772c18fbba
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/src/librustc/middle/typeck/check/alt.rs

@@ -526,8 +526,26 @@ fn check_pat(pcx: pat_ctxt, pat: @ast::pat, expected: ty::t) {
         }
       }
       ast::pat_vec(elts, tail) => {
-        let elt_type = match structure_of(fcx, pat.span, expected) {
-          ty::ty_evec(mt, _) | ty::ty_unboxed_vec(mt) => mt,
+        let default_region_var =
+            fcx.infcx().next_region_var_with_lb(
+                pat.span, pcx.block_region
+            );
+
+        let (elt_type, region_var) = match structure_of(
+          fcx, pat.span, expected
+        ) {
+          ty::ty_evec(mt, vstore) => {
+            let region_var = match vstore {
+                ty::vstore_slice(r) => r,
+                ty::vstore_box | ty::vstore_uniq | ty::vstore_fixed(_) => {
+                    default_region_var
+                }
+            };
+            (mt, region_var)
+          }
+          ty::ty_unboxed_vec(mt) => {
+            (mt, default_region_var)
+          },
           _ => {
             tcx.sess.span_fatal(
                 pat.span,
@@ -543,9 +561,6 @@ fn check_pat(pcx: pat_ctxt, pat: @ast::pat, expected: ty::t) {
 
         match tail {
             Some(tail_pat) => {
-                let region_var = fcx.infcx().next_region_var_with_lb(
-                    pat.span, pcx.block_region
-                );
                 let slice_ty = ty::mk_evec(tcx,
                     {ty: elt_type.ty, mutbl: elt_type.mutbl},
                     ty::vstore_slice(region_var)