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

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)

vlib/v/markused/walker.v

@@ -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')
 	}

vlib/v/tests/skip_unused/array_push_with_interface_array.run.out

@@ -0,0 +1 @@
+3

vlib/v/tests/skip_unused/array_push_with_interface_array.skip_unused.run.out

@@ -0,0 +1 @@
+3

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)
+}