From 5c04800831d4b6b642d40e2866b88661cd8ac31e Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Wed, 6 Mar 2019 20:01:46 +0000
Subject: [PATCH] Add type inference to index expressions for maps

---
 src/check_expr.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 532b79969..f533a1812 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -6473,7 +6473,7 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 
 		if (is_type_map(t)) {
 			Operand key = {};
-			check_expr(c, &key, ie->index);
+			check_expr_with_type_hint(c, &key, ie->index, t->Map.key);
 			check_assignment(c, &key, t->Map.key, str_lit("map index"));
 			if (key.mode == Addressing_Invalid) {
 				o->mode = Addressing_Invalid;