checker: fix array init with interface (fix #24255) (#25073)

Krchi · web-flow · commit 63997d6e437f · 2025-08-15T08:06:01.000+03:00
diff --git a/vlib/v/checker/containers.v b/vlib/v/checker/containers.v
@@ -188,6 +188,10 @@ fn (mut c Checker) array_init(mut node ast.ArrayInit) ast.Type {
 					continue
 				}
 				typ = c.check_expr_option_or_result_call(expr, c.expr(mut expr))
+				sym := c.table.sym(expected_value_type)
+				if sym.kind == .interface {
+					c.type_implements(typ, expected_value_type, expr.pos())
+				}
 			}
 			if expr is ast.CallExpr {
 				ret_sym := c.table.sym(typ)
diff --git a/vlib/v/markused/walker.v b/vlib/v/markused/walker.v
@@ -697,7 +697,7 @@ fn (mut w Walker) expr(node_ ast.Expr) {
 				.blank_ident {}
 				else {
 					// `.unresolved`, `.variable`
-					// println('>>> else, ast.Ident ${node.name} kind: $node.kind ')					
+					// println('>>> else, ast.Ident ${node.name} kind: $node.kind ')
 					if node.name in w.all_consts {
 						w.mark_const_as_used(node.name)
 					} else if node.name in w.all_globals {
@@ -1447,6 +1447,7 @@ fn (mut w Walker) mark_resource_dependencies() {
 	if w.uses_append {
 		ref_array_idx_str := int(ast.array_type.ref()).str()
 		w.fn_by_name(ref_array_idx_str + '.push')
+		w.fn_by_name(ref_array_idx_str + '.push_many')
 		w.fn_by_name(ref_array_idx_str + '.push_many_noscan')
 		w.fn_by_name(ref_array_idx_str + '.push_noscan')
 	}
diff --git a/vlib/v/tests/skip_unused/array_push_with_interface_array.run.out b/vlib/v/tests/skip_unused/array_push_with_interface_array.run.out
@@ -0,0 +1 @@
+3
diff --git a/vlib/v/tests/skip_unused/array_push_with_interface_array.skip_unused.run.out b/vlib/v/tests/skip_unused/array_push_with_interface_array.skip_unused.run.out
@@ -0,0 +1 @@
+3
diff --git a/vlib/v/tests/skip_unused/array_push_with_interface_array.vv b/vlib/v/tests/skip_unused/array_push_with_interface_array.vv
@@ -0,0 +1,7 @@
+interface Value {}
+
+fn main() {
+	mut a := []Value{}
+	a << [Value(i32(1)), 2, 3.0]
+	println(a.len)
+}

Original file line number	Diff line number	Diff line change
`@@ -188,6 +188,10 @@ fn (mut c Checker) array_init(mut node ast.ArrayInit) ast.Type {`
`188`	`188`	`continue`
`189`	`189`	`}`
`190`	`190`	`typ = c.check_expr_option_or_result_call(expr, c.expr(mut expr))`
	`191`	`+ sym := c.table.sym(expected_value_type)`
	`192`	`+ if sym.kind == .interface {`
	`193`	`+ c.type_implements(typ, expected_value_type, expr.pos())`
	`194`	`+ }`
`191`	`195`	`}`
`192`	`196`	`if expr is ast.CallExpr {`
`193`	`197`	`ret_sym := c.table.sym(typ)`