From 8152b86652fbf6640b5b11bf7e8796279f1d31df Mon Sep 17 00:00:00 2001
From: Henrixounez <30901439+Henrixounez@users.noreply.github.com>
Date: Fri, 2 Oct 2020 03:12:33 +0200
Subject: [PATCH] checker: detect correct len expression for multidimensional
 array init (#6521)

---
 vlib/builtin/array_test.v | 15 +++++++++++++++
 vlib/v/checker/checker.v  |  3 +++
 2 files changed, 18 insertions(+)

diff --git a/vlib/builtin/array_test.v b/vlib/builtin/array_test.v
index c5a767ced6..482107e908 100644
--- a/vlib/builtin/array_test.v
+++ b/vlib/builtin/array_test.v
@@ -1032,3 +1032,18 @@ fn test_direct_array_access_via_ptr() {
 	}
 }
 
+const (
+	grid_size_1 = 2
+	grid_size_2 = 3
+	grid_size_3 = 4
+	cell_value = 123
+)
+
+fn test_multidimensional_array_initialization_with_consts() {
+	mut data := [][][]int{ len: grid_size_1, init: [][]int{ len: grid_size_2, init: []int{ len: grid_size_3, init: cell_value } } }
+	assert data.len == grid_size_1
+	assert data[0].len == grid_size_2
+	assert data[0][0].len == grid_size_3
+	assert data[0][0][0] == cell_value
+	assert data[1][1][1] == cell_value
+}
diff --git a/vlib/v/checker/checker.v b/vlib/v/checker/checker.v
index 83f6a1485c..9163daa992 100644
--- a/vlib/v/checker/checker.v
+++ b/vlib/v/checker/checker.v
@@ -2070,6 +2070,9 @@ pub fn (mut c Checker) array_init(mut array_init ast.ArrayInit) table.Type {
 			}
 		}
 		sym := c.table.get_type_symbol(array_init.elem_type)
+		if array_init.has_default {
+			c.expr(array_init.default_expr)
+		}
 		if sym.kind == .placeholder {
 			c.error('unknown type `$sym.source_name`', array_init.elem_type_pos)
 		}