---

yaml
---
r: 38071
b: refs/heads/try
c: 6530fd3
h: refs/heads/master
i:
  38069: d17c0a6
  38067: 5375db8
  38063: 9dab8f6
v: v3

Author: Jakub Wieczorek

[refs]

@@ -2,7 +2,7 @@
 refs/heads/master: 09bb07bed9166105ea961a42b5fff7739ae0d2e9
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
-refs/heads/try: 1fdfd3b1d60b49a9f3c248781c7a82c617c55769
+refs/heads/try: 6530fd340119362e346f28c03e1efc772c18fbba
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: a810c03263670238bccd64cabb12a23a46e3a278

branches/try/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)