From 080a46205086f479112afa37e86d3255ce5f9bee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philipp=20Br=C3=BCschweiler?= Date: Fri, 7 Jun 2013 22:07:19 +0200 Subject: [PATCH] rustc::typeck: fix array out of bounds Fixes #6155 --- src/librustc/middle/typeck/check/mod.rs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/librustc/middle/typeck/check/mod.rs b/src/librustc/middle/typeck/check/mod.rs index 1e5f8970448..9241fb6da90 100644 --- a/src/librustc/middle/typeck/check/mod.rs +++ b/src/librustc/middle/typeck/check/mod.rs @@ -2728,8 +2728,13 @@ pub fn check_expr_with_unifier(fcx: @mut FnCtxt, }); let mut bot_field = false; let mut err_field = false; + let elt_ts = do elts.mapi |i, e| { - check_expr_with_opt_hint(fcx, *e, flds.map(|fs| fs[i])); + let opt_hint = match flds { + Some(ref fs) if i < fs.len() => Some(fs[i]), + _ => None + }; + check_expr_with_opt_hint(fcx, *e, opt_hint); let t = fcx.expr_ty(*e); err_field = err_field || ty::type_is_error(t); bot_field = bot_field || ty::type_is_bot(t);