parser: add error for map incomplete declaration (#27956)

Author: rilaaax

vlib/v/parser/containers.v

@@ -35,6 +35,10 @@ fn (mut p Parser) parse_fixed_array_literal_elem_type() ast.Type {
 		p.chan_type_error()
 		return 0
 	}
+	if elem_type.idx() == ast.map_type_idx {
+		p.map_type_error()
+		return 0
+	}
 	return elem_type
 }
 
@@ -187,6 +191,10 @@ fn (mut p Parser) array_init(is_option bool, alias_array_type ast.Type) ast.Arra
 					has_type = true
 				} else {
 					elem_type = p.parse_type()
+					if elem_type.idx() == ast.map_type_idx {
+						p.map_type_error()
+						return ast.ArrayInit{}
+					}
 					// this is set here because it's a known type, others could be the
 					// result of expr so we do those in checker
 					if elem_type != 0 {

vlib/v/parser/messages.v

@@ -255,3 +255,7 @@ fn (mut p Parser) chan_type_error() {
 	p.error_with_pos('`chan` has no type specified. Use `chan Type` instead of `chan`',
 		p.prev_tok.pos())
 }
+
+fn (mut p Parser) map_type_error() {
+	p.error_with_pos('cannot use the map type without key and value definition', p.prev_tok.pos())
+}

vlib/v/parser/parse_type.v

@@ -145,6 +145,10 @@ fn (mut p Parser) parse_array_type(expecting token.Kind, is_option bool) ast.Typ
 			p.chan_type_error()
 			return 0
 		}
+		if elem_type.idx() == ast.map_type_idx {
+			p.map_type_error()
+			return 0
+		}
 		// has been explicitly resolved, but size is 0
 		if fixed_size <= 0 && !size_unresolved {
 			p.error_with_pos('fixed size cannot be zero or negative', size_expr.pos())
@@ -172,6 +176,10 @@ fn (mut p Parser) parse_array_type(expecting token.Kind, is_option bool) ast.Typ
 		p.chan_type_error()
 		return 0
 	}
+	if elem_type.idx() == ast.map_type_idx {
+		p.map_type_error()
+		return 0
+	}
 	if elem_type.idx() == ast.thread_type_idx {
 		p.register_auto_import('sync.threads')
 	}
@@ -190,8 +198,7 @@ fn (mut p Parser) parse_map_type() ast.Type {
 	p.next()
 	if p.tok.kind != .lsbr {
 		if p.inside_struct_field_decl {
-			p.error_with_pos('cannot use the map type without key and value definition',
-				p.prev_tok.pos())
+			p.map_type_error()
 			return 0
 		}
 		return ast.map_type

vlib/v/parser/tests/array_init_map_elem_type_err.out

@@ -0,0 +1,6 @@
+vlib/v/parser/tests/array_init_map_elem_type_err.vv:2:9: error: cannot use the map type without key and value definition
+    1 | fn main() {
+    2 |     a := []map{}
+      |            ~~~
+    3 |     println(a)
+    4 | }

vlib/v/parser/tests/array_init_map_elem_type_err.vv

@@ -0,0 +1,4 @@
+fn main() {
+	a := []map{}
+	println(a)
+}

vlib/v/parser/tests/array_init_option_map_elem_type_err.out

@@ -0,0 +1,6 @@
+vlib/v/parser/tests/array_init_option_map_elem_type_err.vv:2:10: error: cannot use the map type without key and value definition
+    1 | fn main() {
+    2 |     a := []?map{}
+      |             ~~~
+    3 |     println(a)
+    4 | }

vlib/v/parser/tests/array_init_option_map_elem_type_err.vv

@@ -0,0 +1,4 @@
+fn main() {
+	a := []?map{}
+	println(a)
+}

vlib/v/parser/tests/array_map_elem_type_err.out

@@ -0,0 +1,5 @@
+vlib/v/parser/tests/array_map_elem_type_err.vv:1:14: error: cannot use the map type without key and value definition
+    1 | type Arr = []map
+      |              ~~~
+    2 | 
+    3 | fn main() {

vlib/v/parser/tests/array_map_elem_type_err.vv

@@ -0,0 +1,5 @@
+type Arr = []map
+
+fn main() {
+	_ := Arr{}
+}

vlib/v/parser/tests/array_option_map_elem_type_err.out

@@ -0,0 +1,5 @@
+vlib/v/parser/tests/array_option_map_elem_type_err.vv:1:15: error: cannot use the map type without key and value definition
+    1 | type Arr = []?map
+      |               ~~~
+    2 | 
+    3 | fn main() {