From 416051f17b7e8375b2bc4823727c0f67d7ad9beb Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Mon, 14 Dec 2020 16:39:31 +0000
Subject: [PATCH] Fix #811

---
 src/check_expr.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 15380e55c..b0012bfcc 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -8760,8 +8760,10 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 							i64 lo = exact_value_to_i64(x.value);
 							i64 hi = exact_value_to_i64(y.value);
 							i64 max_index = hi;
-							if (op.kind == Token_RangeHalf) {
+							if (op.kind == Token_RangeHalf) { // ..< (exclusive)
 								hi -= 1;
+							} else { // .. (inclusive)
+								max_index += 1;
 							}
 
 							bool new_range = range_cache_add_range(&rc, lo, hi);