From 63997d6e437fbbead9ed668a60626c932b5bdb93 Mon Sep 17 00:00:00 2001
From: Krchi <997054144@qq.com>
Date: Fri, 15 Aug 2025 13:06:01 +0800
Subject: [PATCH] checker: fix array init with interface (fix #24255) (#25073)

---
 vlib/v/checker/containers.v                                | 4 ++++
 vlib/v/markused/walker.v                                   | 3 ++-
 .../skip_unused/array_push_with_interface_array.run.out    | 1 +
 .../array_push_with_interface_array.skip_unused.run.out    | 1 +
 .../v/tests/skip_unused/array_push_with_interface_array.vv | 7 +++++++
 5 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 vlib/v/tests/skip_unused/array_push_with_interface_array.run.out
 create mode 100644 vlib/v/tests/skip_unused/array_push_with_interface_array.skip_unused.run.out
 create mode 100644 vlib/v/tests/skip_unused/array_push_with_interface_array.vv

diff --git a/vlib/v/checker/containers.v b/vlib/v/checker/containers.v
index 792763162..22be6ae94 100644
--- 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
index 62f1f2670..bdf66037e 100644
--- 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
new file mode 100644
index 000000000..e440e5c84
--- /dev/null
+++ b/vlib/v/tests/skip_unused/array_push_with_interface_array.run.out
@@ -0,0 +1 @@
+3
\ No newline at end of file
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
new file mode 100644
index 000000000..e440e5c84
--- /dev/null
+++ b/vlib/v/tests/skip_unused/array_push_with_interface_array.skip_unused.run.out
@@ -0,0 +1 @@
+3
\ No newline at end of file
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
new file mode 100644
index 000000000..7cdc4c9d3
--- /dev/null
+++ 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)
+}
-- 
2.39.5