checker: fix missing check for a := [none] (fix #23457) (#23504)

Author: felipensp

vlib/v/checker/containers.v

@@ -174,6 +174,12 @@ fn (mut c Checker) array_init(mut node ast.ArrayInit) ast.Type {
 				typ = c.check_expr_option_or_result_call(expr, c.expr(mut expr))
 				c.expected_type = old_expected_type
 			} else {
+				// [none]
+				if c.expected_type == ast.none_type && expr is ast.None {
+					c.error('invalid expression `none`, it is not an array of Option type',
+						expr.pos())
+					continue
+				}
 				typ = c.check_expr_option_or_result_call(expr, c.expr(mut expr))
 			}
 			if expr is ast.CallExpr {

vlib/v/checker/tests/array_none_element_err.out

@@ -0,0 +1,6 @@
+vlib/v/checker/tests/array_none_element_err.vv:2:8: error: invalid expression `none`, it is not an array of Option type
+    1 | fn main() {
+    2 |     a := [none]
+      |           ~~~~
+    3 |     println('${a}')
+    4 | }

vlib/v/checker/tests/array_none_element_err.vv

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