From 8b66578e66957dfdbfed60634e0c7661213e442f Mon Sep 17 00:00:00 2001 From: Luqman Aden Date: Tue, 5 Mar 2013 17:45:12 -0800 Subject: [PATCH] Allow expressions that are not just a single value for repeated fixed length vector syntax. --- src/librustc/middle/typeck/check/mod.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/librustc/middle/typeck/check/mod.rs b/src/librustc/middle/typeck/check/mod.rs index 752d9107d82..7a1beeca513 100644 --- a/src/librustc/middle/typeck/check/mod.rs +++ b/src/librustc/middle/typeck/check/mod.rs @@ -2169,7 +2169,7 @@ fn check_loop_body(fcx: @mut FnCtxt, } ast::expr_repeat(element, count_expr, mutbl) => { let count = ty::eval_repeat_count(tcx, count_expr); - fcx.write_ty(count_expr.id, ty::mk_uint(tcx)); + check_expr_with_hint(fcx, count_expr, ty::mk_uint(tcx)); let tt = ast_expr_vstore_to_vstore(fcx, ev, count, vst); let t: ty::t = fcx.infcx().next_ty_var(); bot |= check_expr_has_type(fcx, element, t); @@ -2537,7 +2537,7 @@ fn types_compatible(fcx: @mut FnCtxt, sp: span, t1: ty::t, } ast::expr_repeat(element, count_expr, mutbl) => { let count = ty::eval_repeat_count(tcx, count_expr); - fcx.write_ty(count_expr.id, ty::mk_uint(tcx)); + check_expr_with_hint(fcx, count_expr, ty::mk_uint(tcx)); let t: ty::t = fcx.infcx().next_ty_var(); bot |= check_expr_has_type(fcx, element, t); let t = ty::mk_evec(tcx, ty::mt {ty: t, mutbl: mutbl}, -- 2.44.0