checker: add interface type handling and new testcase (fix #24116) (#26165)

fleximus · web-flow · commit f7cfec25d013 · 2025-12-27T15:39:22.000+02:00
diff --git a/vlib/v/checker/containers.v b/vlib/v/checker/containers.v
@@ -323,6 +323,11 @@ fn (mut c Checker) check_array_init_default_expr(mut node ast.ArrayInit) {
 	if node.elem_type.is_number() && init_typ.is_number() {
 		return
 	}
+	if c.table.type_kind(node.elem_type) == .interface {
+		if c.type_implements(init_typ, node.elem_type, init_expr.pos()) {
+			return
+		}
+	}
 	c.check_expected(init_typ, node.elem_type) or { c.error(err.msg(), init_expr.pos()) }
 }
 
diff --git a/vlib/v/checker/tests/array_init_with_interface_test.v b/vlib/v/checker/tests/array_init_with_interface_test.v
@@ -0,0 +1,16 @@
+interface IValue {}
+
+struct Null {}
+
+struct MyInt {
+	val int
+}
+
+fn test_array_init_with_interface_implicit_cast() {
+	// Test that array init with interface element type allows implicit cast
+	a := []IValue{len: 3, init: Null{}}
+	assert a.len == 3
+
+	b := []IValue{len: 2, init: MyInt{42}}
+	assert b.len == 2
+}

Original file line number	Diff line number	Diff line change
`@@ -323,6 +323,11 @@ fn (mut c Checker) check_array_init_default_expr(mut node ast.ArrayInit) {`
`323`	`323`	`if node.elem_type.is_number() && init_typ.is_number() {`
`324`	`324`	`return`
`325`	`325`	`}`
	`326`	`+ if c.table.type_kind(node.elem_type) == .interface {`
	`327`	`+ if c.type_implements(init_typ, node.elem_type, init_expr.pos()) {`
	`328`	`+ return`
	`329`	`+ }`
	`330`	`+ }`
`326`	`331`	`c.check_expected(init_typ, node.elem_type) or { c.error(err.msg(), init_expr.pos()) }`
`327`	`332`	`}`
`328`	`333`