---

yaml
---
r: 65015
b: refs/heads/snap-stage3
c: afaca4c
h: refs/heads/master
i:
  65013: bcdc498
  65011: 674bf9c
  65007: 09ee8a9
v: v3

Author: omasanori

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: 2d28d645422c1617be58c8ca7ad9a457264ca850
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 75155cd1b0c134056e86addbbf9097a26fe6a1f5
+refs/heads/snap-stage3: afaca4c822457d3b1cdf140414ff0cf2f224befb
 refs/heads/try: 7b78b52e602bb3ea8174f9b2006bff3315f03ef9
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

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

@@ -2750,13 +2750,8 @@ pub fn check_expr_with_unifier(fcx: @mut FnCtxt,
       }
       ast::expr_vec(ref args, mutbl) => {
         let t: ty::t = fcx.infcx().next_ty_var();
-        let mut arg_is_bot = false;
-        let mut arg_is_err = false;
         foreach e in args.iter() {
             check_expr_has_type(fcx, *e, t);
-            let arg_t = fcx.expr_ty(*e);
-            arg_is_bot |= ty::type_is_bot(arg_t);
-            arg_is_err |= ty::type_is_error(arg_t);
         }
         let typ = ty::mk_evec(tcx, ty::mt {ty: t, mutbl: mutbl},
                               ty::vstore_fixed(args.len()));